小林 聡 | 東京大学理学部数学科

スポンサーリンク

概要

• 同名の論文著者
• 東京大学理学部数学科の論文著者

関連著者

• 小林 聡

  京都産業大学理学部コンピュータ科学科

• 小林 聡

  東京大学理学部数学科

著作論文

• 構成的証明からのプログラム抽出

スポンサーリンク