用語一覧 /計算理論 #計算理論 5語 充足可能性 じゅうそくかのうせい ジョン・バークレー・ロッサー じょんばーくれーろっさー ダナ・スコット だなすこっと チューリング ちゅーりんぐ ハスケル・カリー はすけるかりー