浜名 誠 | 群馬大学工学研究科
スポンサーリンク
概要
関連著者
-
浜名 誠
群馬大学工学研究科
-
浜名 誠
筑波大学工学研究科
-
西岡 知之
筑波大学工学研究科
-
中原 鉱一
筑波大学工学研究科
-
井田 哲雄
筑波大学電子・情報工学系
-
井田 哲雄
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
浜名 誠
群馬大学情報工学科
-
中野 圭介
東京大学大学院情報理工学系研究科
-
武市 正人
東京大学大学院情報理工学系研究科
-
中野 圭介
電気通信大学
-
胡 振江
国立情報学研究所アーキテクチャ科学研究系
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
武市 正人
東京大学
-
武市 正人
東京大学工学部
-
松田 一孝
東北大学大学院情報科学研究科
-
井田 哲雄
筑波大学
-
松田 一孝
東京大学大学院情報理工学系研究科
-
ミデルドープ アート
筑波大学電子・情報工学系
-
ミデルドープ アート
筑波大学電子情報工学系
-
胡 振江
国立情報学研究所
-
鈴木 太郎
筑波大学電子・情報工学系
-
Takeichi Masato
Department Of Mathemetical Engineering And Information Physics Faculty Of Engineering University Of
-
Takeichi Masato
Department Of Computer Science The University Of Electro-communications
著作論文
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 作用型項書換え系に基づく関数論理言語の設計と実装
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- 高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Σモノイド : メタ変数と明示的環境を持つ高階構文(サイバー増大ページ論文概要,サイバー増大号)
- 項書換え系としての論理プログラム