江团鱼是什么鱼| 做激光近视眼手术有什么危害| 闰六月有什么讲究| 六月19是什么日子| 股骨头在什么位置| 为什么不建议光子嫩肤| 金是什么结构| 7月17号什么星座| 红顶商人是什么意思| 狐狸狗是什么品种| 什么牌子的奶粉好| 窗口期什么意思| 灰指甲是什么样子的| 水瓶座是什么星象| 多尔衮是什么意思| 淑女气质给人什么感觉| 兰精莫代尔是什么面料| 6月24什么星座| 男人嘴小代表什么意思| 追忆是什么意思| 睡眠不好吃什么药| 婴儿蚊虫叮咬红肿用什么药| 富贵命是什么生肖| 中国国花是什么| 血透是什么意思| 十岁女孩喜欢什么礼物| 荔枝什么品种好吃| 七月二十八什么星座| 冬天怕冷夏天怕热是什么体质| 糖异生是什么意思| a是什么| 草代表什么生肖| 小孩白细胞高是什么原因| 罗盘是干什么用的| 梦见乌龟是什么意思| hopeshow是什么牌子| 走仕途是什么意思| 暑假是什么时候| 氯读什么拼音| 百无一用是什么意思| 科长是什么级别| 蚂蝗长什么样| 焦糖色是什么| 空调除湿和制冷有什么区别| 经血发黑是什么原因| 环切手术是什么| 太阳最后会变成什么| 硕的拼音是什么| 自私是什么意思| 五月十五是什么星座| 不10是什么意思| 一什么玉米| 313什么意思| 漂流需要带什么| 女人梦见自己掉牙齿是什么征兆| 独在异乡为异客的异是什么意思| 喝莓茶对身体有什么好处| 银花有焰万家春是什么生肖| 高处不胜寒是什么意思| 少年白头发是什么原因| 血管检查什么方法最好| 618是什么日子| iga是什么意思| 医学生规培是什么意思| 为什么牙齿会松动| 较真的人是什么性格| 半夜口干舌燥是什么原因| 老人高烧不退是什么原因| ph是什么| 排骨炖什么汤止咳润肺| 右位是什么意思| 尿液检查白细胞高是什么原因| 什么是菩提心| 脸部爱出油是什么原因| 休止期脱发什么意思| 纤维灶是什么意思| 12.16是什么星座| 脑出血挂什么科| 高什么远什么| 惊鸿一面是什么意思| 肝火旺是什么原因引起的| 变蛋是什么蛋| 菠萝蜜的核有什么功效| 边缘性人格障碍是什么| 少许是什么意思| 什么是正装女士| dcr是什么意思| 排卵是什么意思啊| 肋骨里面是什么器官| roa胎位是什么意思| 膝盖发软无力是什么原因| 什么是阻生牙| 刚出生的小鱼吃什么| 鲁冰花是什么花| 什么是水晶| s925是什么意思| 什么什么动听| 刘邦为什么要杀张良| 什么是内分泌失调| 温字五行属什么| 便秘屁多是什么原因| 眼睛有痣代表什么| 绝经一般在什么年龄| 高氨血症是什么病| 报考护士资格证需要什么条件| 甘油三酯高是什么原因造成的| 吃什么能生发| 牙龈翻瓣术是什么意思| 低压高什么原因| 梗阻性黄疸是什么病| 哀恸是什么意思| 拔牙什么时间最好| 长白毛是什么原因| 经常抠鼻子有什么危害| 甲胎蛋白是什么| 龛是什么意思| 腐败什么意思| 物以类聚什么意思| 右肺中叶少许纤维灶是什么意思| 十月初三是什么星座| 玛雅文明是古代什么文明的代表| oppo是什么牌子| 鸭子喜欢吃什么| 宫颈管搔刮术是什么| 湿热内蕴证有什么症状| 三分钟热度是什么意思| 子宫肌瘤是什么意思| dei是什么意思| 套牌是什么意思| 血是什么颜色| 湿疹是长什么样的| 跛行是什么意思| 家里起火代表什么预兆| 早早孕有什么征兆| 什么零食热量低有利于减肥| 心脏是什么组织| 小便很黄是什么原因| 语无伦次是什么意思| 消化不良吃什么药最好| 检查怀没怀孕挂什么科| 9月21日是什么星座| pml是什么意思| 手镯断了有什么预兆| 云南白药里面的保险子有什么用| 反颌是什么意思| 一什么边| 孩子脾胃虚弱吃什么药| 深静脉血栓有什么症状| 吴佳尼为什么嫁马景涛| 肝内胆管轻度扩张是什么意思| 肛门瘙痒用什么药| 黄桃什么时候成熟| 鸡和什么属相最配对| 吃太烫的东西有什么坏处| 今年23岁属什么生肖| 指甲分层是什么原因| 尿常规红细胞高是什么原因| 十一朵玫瑰花代表什么意思| lv什么品牌| 70年产权是什么意思| 功能性消化不良吃什么药| 希望孩子成为什么样的人| 山楂和什么泡水喝降血压| 为什么同房会有刺痛感| 苟不教的苟是什么意思| 萨洛蒙什么档次| 雷龙吃什么| 汗疱疹吃什么药| 12月31号什么星座| 双氧奶是什么| po医学上是什么意思| 局部皮肤瘙痒什么原因| 男人好难做人好难是什么歌| em是什么意思| 周海媚什么病| 什么叫多囊| 胃酸过多吃什么| 小壁虎的尾巴有什么作用| 宝宝吃益生菌有什么好处和坏处| 此刻朋友这杯酒最珍贵是什么歌| 什么的马| 胃胀气吃什么食物好| 吃素是什么意思| 什么牌子的洗发水好用| 早上喝一杯温开水有什么好处| 耐信是什么药| 叶芽是什么| 脑供血不足吃什么| 什么头十足| 遗传物质的载体是什么| 气胸是什么原因引起的| 菩提树长什么样| 阳暑吃什么药| 检查是否怀孕要做什么检查| 菜板什么木材最好| 儿郎是什么意思| 澳门什么时候回归| 巨蟹座前面是什么星座| 载脂蛋白b高是什么原因| yair是什么牌子的空调| 男人遗精是什么原因| 感冒看什么科| 小腿浮肿是什么原因| 肚子痛吃什么药好| 贫血吃什么水果补血最快| hpv亚临床感染是什么意思| 梦见筷子是什么预兆| 什么是集体户| 没有痔疮大便出血是什么原因| 舌尖发麻是什么原因引起的| 胃属什么五行| 读书心得是什么意思| 反水是什么意思| 脑神经检查做什么检查| 梦见车丢了是什么征兆| 浅表性胃炎吃什么药效果好| 74年出生属什么生肖| 孕妇c反应蛋白高说明什么| 年下是什么意思| 什么的太空| 新疆人信仰什么教| 为什么一直口渴| 獭尾肝是什么意思| 81年属什么的| 胆囊萎缩是什么原因| 鲜章是什么意思| Lady什么意思| 归脾丸治什么病| samsung是什么牌子| 啤酒加鸡蛋有什么功效| 哺乳期乳腺炎吃什么药| 摸鱼是什么意思| 当所有的人离开我的时候是什么歌| 小辣椒是什么意思| 飞机上可以带什么吃的| 宝宝睡觉头上出汗多是什么原因| 玉米属于什么类食物| 梦见陌生人死了是什么意思| 傍家儿是什么意思| 36年属什么生肖| 梦见蛇在家里是什么意思| baby是什么意思| 龋读什么| 周瑜是什么样的人| 办理身份证需要带什么| 鲭鱼是什么鱼| 立棍是什么意思| 7月28日什么星座| 吃什么长卵泡| 白带带血丝是什么原因| 白糖和冰糖有什么区别| 寿司用什么米做好吃| 卡马西平片是什么药| 梦见很多狗是什么意思| 透骨草治什么病最有效| 喝啤酒有什么好处| 为什么超市大米不生虫| 熤是什么意思| 脑硬化是什么病严重吗| 阑尾炎是什么引起的| 准奏是什么意思| 什么惚惚| 月经提前是什么原因引起的| 拔掉智齿有什么影响| 百度
Upgrade to Pro — share decks privately, control downloads, hide ads and more …

AIに安心して任せるためにTypeScriptで一意な型を作ろう

水润少女怎么少得了玻璃唇!(1)

百度 据悉,检方向法院提交的文书多达207页A4纸,是去年申请批捕朴槿惠文书的2倍还多,整理的拘捕必要性理由意见书就有1000多张。

LayerX bet ai day 7days LTのday 4「あえてのNot AI」の発表資料です

Avatar for Yuki Yata

Yuki Yata

July 27, 2025
Tweet

More Decks by Yuki Yata

Other Decks in Programming

Transcript

  1. ? LayerX Inc. 技術組織としての分岐点 ガードレールを作る ? AIが変換を間違えても気付ける様にすればいい ? 修正箇所も明確 ?

    安?してリリースできる ? じゃあカスタムlintとか作る? ? エラーが出る様になれば安? じゃあどうする? AIに安?して任せるためにTypeScriptで?意な型を作ろう
  2. ? LayerX Inc. 技術組織としての分岐点 ? どのオブジェクト問題 ? “AMY”←これどのオブジェクトの”AMY”?PersonType.AMY?SongType.Amy? ? 野良かも問題

    ? “AMY”←これ野良の?字列リテラル?それともGraphQL由来のプロパティ? 少なくとも?分ではこのアプローチは無理だった?? カスタムlintじゃ無理そう AIに安?して任せるためにTypeScriptで?意な型を作ろう
  3. ? LayerX Inc. 技術組織としての分岐点 ? どのオブジェクト問題:型エラーで気付ける! ? 例:PersonType.Amyとすべき”AMY”をSongType.Amyに変換してしまう ? 野良かも問題:型エラーで気付ける!

    ? 例:GraphQLと関係ない”AMY”をSongType.Amyに変換してしまう 全ての文字列に一意な型を付ければいいんじゃない? AIに安?して任せるためにTypeScriptで?意な型を作ろう
  4. ? LayerX Inc. 技術組織としての分岐点 ? graphql.tsの中からas constを?査して、全ての?字列に型アサーションする ? ? 型はstringと{

    __${オブジェクト名}_${値}__: unknown }の直?型 ? できるだけ嘘が少ないbranded typeを使う様にした ? 変数名と値の組み合わせが?意なことは保証されるのでsymbolを使うのはサボりました ? ?字列リテラル型ではなくstring型にした理由は省略 ts-morphで型付けやってみた AIに安?して任せるためにTypeScriptで?意な型を作ろう
  5. ? LayerX Inc. 技術組織としての分岐点 ? 変換の精度はかなり?くなったし、ミスしていても気付ける様になった ? でも時間がかかりすぎて無理だった ? 10分かけて3ファイルくらいしか処理できない

    ? 2,30件くらい処理した段階で「完了です!」とか?ってくる ? Claude Codeにやらせたのが間違いだったかもしれないが、他のAIだと従量課 ?になってしまう 結果 AIに安?して任せるためにTypeScriptで?意な型を作ろう
  6. ? LayerX Inc. 技術組織としての分岐点 ? 変換部分をAIにやらせるのは悪くないアプローチだったと思う ? AIの「よしなに?」が活かせる場? ? ts-morphだと成功判定は型エラーを?るしかないが、

    ↓のコードだと4?に渡って型エラーが出るので2つ同時に修正されな いと成功判定にならない 考察 AIに安?して任せるためにTypeScriptで?意な型を作ろう
  7. ? LayerX Inc. 技術組織としての分岐点 ? roo codeなどの厳密にサブタスクを切るAI Agentにやらせてみる ? 全てをNot

    AIで進めるのであれば、?旦決めつけで全て変換してみて最後 に評価する様な?法を取ってみると良いかも 改善点 AIに安?して任せるためにTypeScriptで?意な型を作ろう
睡觉打呼噜什么原因 莎字五行属什么 黄麻是什么 残联是什么性质的单位 伏藏是什么意思
热痱子长什么样 为什么会喜欢一个人 什么样的小溪 地道战在河北什么地方 天丝是什么面料
跳蛛吃什么 1020是什么星座 猪头肉是什么意思 脚心发热是什么原因 狼吞虎咽什么意思
什么地工作 狗肉和什么一起炖最佳 80岁属什么生肖 喉咙有异物感挂什么科 耳朵长疙瘩是什么原因
五道杠是什么牌子hcv9jop0ns0r.cn 窦性心律过速吃什么药hcv9jop1ns9r.cn 痔疮挂什么科hcv9jop4ns5r.cn 胆红素高吃什么食物能降得快hcv9jop5ns5r.cn 房水是什么hcv8jop7ns7r.cn
耍小聪明是什么意思hcv7jop9ns1r.cn 头疼去医院挂什么科hcv9jop2ns3r.cn hpd是什么意思hcv8jop6ns5r.cn 睫毛炎有什么症状hcv8jop0ns9r.cn 风疹病毒抗体偏高是什么意思jingluanji.com
尿频繁是什么原因aiwuzhiyu.com 小孩子睡觉流口水是什么原因onlinewuye.com 1969年什么时候退休hcv9jop1ns6r.cn 什么是干股hcv9jop1ns0r.cn ps医学上是什么意思hcv7jop4ns5r.cn
测血型挂什么科hcv8jop3ns6r.cn 舌头溃疡吃什么水果hcv9jop3ns5r.cn 捡到鹦鹉是什么预兆520myf.com 腰子是什么hcv8jop9ns4r.cn 成人达己是什么意思96micro.com
百度