入手した文献名を記します。
洋書
- Rob Nederpelt and Herman Geuvers Type Theory and Formal Proof: An Introduction, Cambridge University Press, 2014
- R. Lanier Anderson The Poverty of Conceptual Truth: Kant's Analytic/Synthetic Distinction and the Limits of Metaphysics, Oxford University Press, 2015
和書
- アンドルー・ホッジス 『エニグマ アラン・チューリング伝 上』、土屋俊、土屋希和子訳、勁草書房、2015年
- 井上勝生 『明治日本の植民地支配 北海道から朝鮮へ』、岩波現代全書、岩波書店、2013年
邦語論文
- 田中慎一 「新渡戸稲造について」、『北大百年史編集ニュース』、北海道大学創基百周年記念事業実行委員会編、第9号、1979年
- 田中愼一 「新渡戸稲造の植民地朝鮮観」、『北大百年史編集ニュース』、北海道大学創基百周年記念事業実行委員会編、第11号、1980年
- 田中愼一 「新渡戸稲造と朝鮮」、『季刊 三千里』、三千里社、第34号、1983年
最初の論文と、後の二つの論文の著者名に異同がありますが、論文中の表記に従っております。これら三つの論文は同一著者によるものです。