山下 正人 | 日本大学理工学部数学科

スポンサーリンク

概要

• 山下 正人の詳細を見る
• 同名の論文著者
• 日本大学理工学部数学科の論文著者

関連著者

• 山下 正人

  日本大学理工学部数学科

• 高橋 英之

  日本大学理工学部情報科学専攻&数学科

著作論文

• 自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)

スポンサーリンク