Weitere ähnliche Inhalte
Ähnlich wie これからのコンピューティングの変化とこれからのプログラミング at 広島 (20)
これからのコンピューティングの変化とこれからのプログラミング at 広島
- 19. FPGA
● Field Programmable Gate Array
– Field 現場で
– Programmable プログラム可能な
– Gate 論理素子が
– Array いっぱい並んだやつ
● 現場でプログラムできる論理回路
- 55. 型がなぜ重要か
● B foo(A a) があるとき C baz(A a) を作れる?
C bar(B b)
– つくれる
●
C baz(A a) { return bar(foo(a)) }
- 56. カリーハワード同型対応
● 鮭は魚 があるとき 鮭は泳ぐ といえる?
魚は泳ぐ
● 魚 foo(鮭 a) があるとき 泳ぐ baz(鮭 a)を作れる?
泳ぐ bar(魚 b)
● 型と論理は同型
● 型によるプログラムは論理の証明