Similar to 型理論
住性 (型理論)
Type inhabitation
順序対
Ordered pair
数学的構造
Mathematical structureダック・タイピング
Duck typing
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (computer science)
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principle
(19308) 1996 TO66
(19308) 1996 TO66
アリ×アリ
FNSソフト工場
火曜イチバン!
火曜時代劇 (フジテレビ)
金☆パラ
月曜おもしろランド
月曜テレビジョン
ゴールデンワイド劇場
秀山十種
水曜大特バン
水曜バラエティ
スペシャル90
テレビ朝日系列朝ニュース枠
テレビ朝日水曜22時枠刑事ドラマ
TV-DOS
土曜特番 (東京12チャンネル)
ドラマシティ (2時間ドラマ番組)