Upgrade to Pro — share decks privately, control downloads, hide ads and more …

TypeScriptの型で2進数計算

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Riya Amemiya Riya Amemiya
February 04, 2024
Technology
0
240

 TypeScriptの型で2進数計算

Avatar for Riya Amemiya

Riya Amemiya

February 04, 2024
Tweet

More Decks by Riya Amemiya

See All by Riya Amemiya
「え？！それ今ではHTMLだけでできるの！？」驚きの進化を遂げたモダンHTML
Avatar for Riya Amemiya riyaamemiya
12
5.4k
そのJavaScript、V8が泣いてます。V8の気持ちを理解して書くパフォーマンス最適化
Avatar for Riya Amemiya riyaamemiya
22
7.9k
「え？！それ今ではCSSだけでできるの！？」驚きの進化を遂げたモダンCSS
Avatar for Riya Amemiya riyaamemiya
1
160
不健康エンジニア「健康」を知る
Avatar for Riya Amemiya riyaamemiya
1
1.3k
AIと共同執筆してより質の高い記事を書こう
Avatar for Riya Amemiya riyaamemiya
1
660
社内で発信し続けてたら19歳なのに技術リード的なポジションになっちゃった話
Avatar for Riya Amemiya riyaamemiya
0
140
いつか使うかも貯金してたらめちゃめちゃ機能が増えてた話
Avatar for Riya Amemiya riyaamemiya
0
930
AIの力でテストのガバレッジ100%にした話
Avatar for Riya Amemiya riyaamemiya
0
1.1k
RailsからReactを剥がした話
Avatar for Riya Amemiya riyaamemiya
0
730

Other Decks in Technology

See All in Technology
FinTech SREのAWSサービス活用/Leveraging AWS Services in FinTech SRE
Avatar for maaaato maaaato
0
130
生成AIと余白 〜開発スピードが向上した今、何に向き合う？〜
Avatar for KAKEHASHI kakehashi
PRO
0
140
pool.ntp.orgに ⾃宅サーバーで 参加してみたら...
Avatar for Fuminori -Tany- Tanizaki(谷崎文義) tanyorg
0
590
Agile Leadership Summit Keynote 2026
Avatar for seki at druby.org m_seki
1
670
AIエージェントに必要なのはデータではなく文脈だった/ai-agent-context-graph-mybest
Avatar for Jun Naito jonnojun
1
240
SchooでVue.js/Nuxtを技術選定している理由
Avatar for Okuto Oyama yamanoku
3
200
SREが向き合う大規模リアーキテクチャ 〜信頼性とアジリティの両立〜
Avatar for Kuniaki Moriya zepprix
0
480
フルカイテン株式会社 エンジニア向け採用資料
Avatar for FULL KAITEN fullkaiten
0
10k
20260204_Midosuji_Tech
Avatar for Takuya Yonezawa takuyay0ne
1
160
Exadata Fleet Update
Avatar for oracle4engineer oracle4engineer
PRO
0
1.1k
コミュニティが変えるキャリアの地平線：コロナ禍新卒入社のエンジニアがAWSコミュニティで見つけた成長の羅針盤
Avatar for Kento Suzuki kentosuzuki
0
130
Bedrock PolicyでAmazon Bedrock Guardrails利用を強制してみた
Avatar for Yudai Jinno yuu551
0
260

Featured

See All Featured
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3k
Save Time (by Creating Custom Rails Generators)
Avatar for Garrett Dimon garrettdimon
PRO
32
2.1k
From Legacy to Launchpad: Building Startup-Ready Communities
Avatar for Dug Song dugsong
0
140
Leveraging LLMs for student feedback in introductory data science courses - posit::conf(2025)
Avatar for Mine Cetinkaya-Rundel minecr
0
160
How to audit for AI Accessibility on your Front & Back End
Avatar for davetheseo davetheseo
0
180
Automating Front-end Workflow
Avatar for Addy Osmani addyosmani
1371
200k
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
49
Designing Experiences People Love
Avatar for Jonathan Moore moore
144
24k
Understanding Cognitive Biases in Performance Measurement
Avatar for Philip Tellis bluesmoon
32
2.8k
End of SEO as We Know It (SMX Advanced Version)
Avatar for Michael King ipullrank
3
3.9k
What Being in a Rock Band Can Teach Us About Real World SEO
Avatar for Ade Holder 427marketing
0
170
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
190

Transcript

  1. TypeScript の型で2 進数計算 西悠太(GMO メディア)

  2. 自己紹介 名前: 西悠太 所属: GMO メディア フロントエンドエンジニア X: Riya31377928 https://riya-amemiya-links.oshaburikitchin.com/

  3. なぜ作ったの？ とある本でCPUが2進数を計算する仕組み を学んで、あれ?これって型でも実装できる んじゃね？と思って書きました

  4. どんなことができるの？

  5. 2進数の計算方法 加算 結果が2なら、1を繰り上げ 減算 1から0を引く場合、左の桁から1を借りる 補数で計算して、オーバーフローは切り捨て

  6. どうやって作る？ 2進数の計算方法はわかったけど じゃあどうやれば計算できるの？ TypeScriptの型システムに +とか-の演算子はないし.... 論理回路があればできるなら...

  7. どうやって作る？ 論理回路を型システムの上に 実装しちゃえばいいんだ！ AND OR XOR

  8. None

  9. 半加算器を実装する 単純に二数の和のみを求める回路 AND回路とXOR回路が必要 次に作る全加算器の実装に必要

  10. AND回路

  11. XOR回路

  12. 半加算器

  13. 全加算器を実装する 任意の桁数の2進数の加算、減算ができる 半加算器とOR回路が必要 今回は符号付きで考える

  14. OR回路

  15. 材料は揃ったけど... 全加算器には半加算器とOR回路が必要 inferは先頭1文字を取り出す オーバーフローを切り捨てないといけない

  16. N文字取り出す

  17. 頭文字を削除

  18. 文字列を配列に変換

  19. 文字列の長さを取得

  20. 文字列を反転

  21. 今度こそ材料は揃った！ 文字列を反転させる 1. 全加算器に投入 2. 不要な部分を切り捨て 3.

  22. None

  23. 完成！

  24. https://zenn.dev/gmomedia/articles/820c58037ef246

  25. None