湯浅 輝 | 住友電気工業 K. K. 研究部

スポンサーリンク

概要

• 湯浅 輝の詳細を見る
• 同名の論文著者
• 住友電気工業 K. K. 研究部の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク