篠沢 洋太郎 | Department of Emergency Medicine, Keio University, School of Medicine

スポンサーリンク

概要

• 向井 万起男の詳細を見る
• 同名の論文著者
• Department of Emergency Medicine, Keio University, School of Medicineの論文著者

論文 | ランダム

• 計算モデルとしての推論加群系 (アルゴリズムと計算の理論)
• 応動昆の半世紀(1.記念講演:「応動昆の生い立ち」,日本応用動物昆虫学会創立50周年)
• 応動昆の半世紀(記念講演「応動昆の生い立ち」)
• 推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
• Normal Vibrations of 1,3,5-Triazine

もっと見る

スポンサーリンク