Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
TypeScriptの型で2進数計算
Search
Sponsored
·
Ship Features Fearlessly
Turn features on and off without deploys. Used by thousands of Ruby developers.
→
Riya Amemiya
February 04, 2024
Technology
280
0
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
TypeScriptの型で2進数計算
Riya Amemiya
February 04, 2024
More Decks by Riya Amemiya
See All by Riya Amemiya
知ってた？JavaScriptの"正しさ"を検証するテストが5万以上もあること(Test262)
riyaamemiya
1
260
「え？！それ今ではHTMLだけでできるの！？」驚きの進化を遂げたモダンHTML
riyaamemiya
12
5.9k
そのJavaScript、V8が泣いてます。V8の気持ちを理解して書くパフォーマンス最適化
riyaamemiya
22
8.5k
「え？！それ今ではCSSだけでできるの！？」驚きの進化を遂げたモダンCSS
riyaamemiya
1
200
不健康エンジニア「健康」を知る
riyaamemiya
1
1.4k
AIと共同執筆してより質の高い記事を書こう
riyaamemiya
1
800
いつか使うかも貯金してたらめちゃめちゃ機能が増えてた話
riyaamemiya
0
960
AIの力でテストのガバレッジ100%にした話
riyaamemiya
0
1.1k
RailsからReactを剥がした話
riyaamemiya
0
820
Other Decks in Technology
See All in Technology
アカウントが増えてからでは遅い? ~ マルチアカウント統制の勘所 ~
kenichinakamura
0
220
タスクの複雑さでモデルを選ぶ ── Thompson Samplingで動かす“トークン/コスト最適化
satohy0323
0
260
ローカルLLMとLINE Botの組み合わせ その3 / LINE DC Generative AI Meetup #8
you
PRO
0
130
Genie Ontologyは銀の弾丸かを考える / Is Genie Ontology a Silver Bullet?
nttcom
0
240
穢れた技術選定について
watany
3
310
Claude Codeとハーネスについて考えてみる
oikon48
18
9.3k
証券システムを10年Scalaで作り続けるということ - 関数型まつり2026
krrrr38
3
840
ポストモーテム！ DDoSからサイトは守れた。 でもビジネスは守れなかった。
bengo4com
0
2.8k
生成AIの活用/high_school2026
okana2ki
0
130
Claude Code公式skillで 自分の仕事を少しずつ手放そう！（Claude Code開発ノウハウ大公開スペシャル by クラスメソッド）
kaym
1
270
AI駆動開発におけるQAエンジニアの役割事例 〜AI駆動開発の現場から〜
kobayashiyorimitsu
0
490
【Claude Code】鹿野さんに聞く 私の推しの並行開発環境 大公開 / claude-code-parallel-2026-07-15
tonkotsuboy_com
10
6.7k
Featured
See All Featured
GraphQLとの向き合い方2022年版
quramy
50
15k
The agentic SEO stack - context over prompts
schlessera
0
840
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
helenjbeal
1
230
AI Search: Implications for SEO and How to Move Forward - #ShenzhenSEOConference
aleyda
1
1.3k
Applied NLP in the Age of Generative AI
inesmontani
PRO
4
2.4k
Redefining SEO in the New Era of Traffic Generation
szymonslowik
1
360
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
508
140k
Claude Code のすすめ
schroneko
67
230k
Max Prin - Stacking Signals: How International SEO Comes Together (And Falls Apart)
techseoconnect
PRO
0
200
Money Talks: Using Revenue to Get Sh*t Done
nikkihalliwell
0
310
The SEO identity crisis: Don't let AI make you average
varn
0
510
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
47
8.2k
Transcript
TypeScript の型で2 進数計算 西悠太(GMO メディア)
自己紹介 名前: 西悠太 所属: GMO メディア フロントエンドエンジニア X: Riya31377928 https://riya-amemiya-links.oshaburikitchin.com/
なぜ作ったの？ とある本でCPUが2進数を計算する仕組み を学んで、あれ?これって型でも実装できる んじゃね？と思って書きました
どんなことができるの？
2進数の計算方法 加算 結果が2なら、1を繰り上げ 減算 1から0を引く場合、左の桁から1を借りる 補数で計算して、オーバーフローは切り捨て
どうやって作る？ 2進数の計算方法はわかったけど じゃあどうやれば計算できるの？ TypeScriptの型システムに +とか-の演算子はないし.... 論理回路があればできるなら...
どうやって作る？ 論理回路を型システムの上に 実装しちゃえばいいんだ！ AND OR XOR
None
半加算器を実装する 単純に二数の和のみを求める回路 AND回路とXOR回路が必要 次に作る全加算器の実装に必要
AND回路
XOR回路
半加算器
全加算器を実装する 任意の桁数の2進数の加算、減算ができる 半加算器とOR回路が必要 今回は符号付きで考える
OR回路
材料は揃ったけど... 全加算器には半加算器とOR回路が必要 inferは先頭1文字を取り出す オーバーフローを切り捨てないといけない
N文字取り出す
頭文字を削除
文字列を配列に変換
文字列の長さを取得
文字列を反転
今度こそ材料は揃った！ 文字列を反転させる 1. 全加算器に投入 2. 不要な部分を切り捨て 3.
None
完成！
https://zenn.dev/gmomedia/articles/820c58037ef246
None
riyaamemiya
kenichinakamura
satohy0323
you
nttcom
watany
oikon48
krrrr38
bengo4com
okana2ki
kaym
kobayashiyorimitsu
tonkotsuboy_com
quramy
schlessera
.png){kind=avatar}
helenjbeal
aleyda
inesmontani
szymonslowik
chriscoyier
schroneko
techseoconnect
nikkihalliwell
varn
eileencodes
