林 健志 | 京都大学数理解析研究所

スポンサーリンク

概要

• 林 健志の詳細を見る
• 同名の論文著者
• 京都大学数理解析研究所の論文著者

関連著者

• 林 健志

  京都大学数理解析研究所

• 五十嵐 滋

  京都大学数理解析研究所

著作論文

• プログラムの検証理論
• BAOについて (計算機によるパズル・ゲームの研究)

スポンサーリンク