坂根 裕 | 静岡大学情報学部　Faculty of Infomatics, Shizuoka University

スポンサーリンク

概要

• 坂根 裕の詳細を見る
• 同名の論文著者
• 静岡大学情報学部　Faculty of Infomatics, Shizuoka Universityの論文著者

論文 | ランダム

• 2K-5 研究室配属アルゴリズムの諸性質の考察
• 簡約系によるリフレクティブエージェント (第3回ヒューマンインタフェース研究会 コミュニケーションおよび一般)
• 等式プログラムの停止性検証
• 条件付き項書換え系に基づく言語におけるメタ計算
• 列書換え系停止性検証における二分決定グラフのサイズ

もっと見る

スポンサーリンク