ジョン・トランプ

ジョン・トランプはオランダのコンピュータ科学者です。^{[ 1 ]}彼は以前、オランダ数学・コンピュータ科学センターに勤務していました。^{[ 2 ]}トランプはボードゲーム「囲碁」の合法状態の数を発見し、^{[ 1 ]}^{[ 2 ]}ビル・テイラーと共同で「囲碁の論理ルール」と呼ばれるトランプ＝テイラールールを執筆しました。^{[ 3 ]}^{[ 4 ]}^{[ 5 ]}

彼はまた、二項組み合わせ論理（二項ラムダ計算）と、ラムダ計算式をグラフィカルに表現する方法を提供するラムダ図に関する研究でも知られています。^[⁶^]^[⁷^]トランプは、ビジービーバー関数に相当するラムダ計算に関する研究も行っています。^[⁸^]

参考文献

1 2ショットウェル、ピーター (2016)。「ジョン・トランプと囲碁の大きな数字：可能な局面、ゲーム、最長局面」(PDF)。アメリカ囲碁協会。2019年3月6日にオリジナル(PDF)からアーカイブ済み。
1 2 Johnson, Leif (2016年1月25日). 「2500年後、中国のゲームの謎が解明される」 . Vice.com . 2017年12月30日閲覧。
↑ 「1995年版トランプ＝テイラールール」。1995年2月13日。 2017年12月30日取得。
↑ 「1996年版のTromp-Taylor Rules」。 2017年12月30日取得。
↑ 「囲碁のルール」。アメリカ囲碁協会。 2017年12月30日取得。
↑ジョン・トランプのラムダ図。
↑ YouTube 2025。
↑ Tromp, John (2026-04-26). "64ビットで表現可能な最大の数" . Entropy . 28 (5): 494. doi : 10.3390/e28050494 . ISSN 1099-4300 . PMC 13205354 . PMID 42187911 .