外山 芳人 | 東北大学
スポンサーリンク
概要
関連著者
-
外山 芳人
東北大学
-
外山 芳人
日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室
-
外山 芳人
電電・武蔵野通研
-
外山 芳人
電電公社・武蔵野通研
-
稲葉 雅幸
東京大学
-
玉井 哲雄
東京大学大学院情報学環
-
菅原 俊治
Ntt基礎研究所
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
中村 正樹
金沢大学理工学域電子情報学類
-
玉井 哲雄
東京大学
-
木村 正行
東北大学
-
外山 芳人
東北大学電気通信研究所
-
菅原 俊治
早稲田大
-
菅原 俊治
Ntt光ネットワークシステム研究所
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
二木 厚吉
電子技術総合研究所
-
外山 芳人
NTT Laboratories
-
外山 芳人
NTT通信網総合研究所
-
外山 芳人
NTT・通信研究所
-
外山 芳人
NTT基礎研究所
-
外山 芳人
Musashino Electrical Communication Laboratory, N.T.T.
著作論文
- 非定常ランダム外界における学習オ-トマン
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- 帰納的推論の理論 (学習)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- 5項 コンピュータサイエンス研究会(3節 工学研究会,第5章 国際会議・シンポジウム等)
- 依存対を用いた文脈依存書換え系の停止性判定について
- ナノピコ教室(8)解答編 回文プログラミングを楽しもう
- 平衡弱合流性と項書換えシステムの正規戦略(理論計算機科学とその周辺)
- 項書き換えシステムの直和の停止性(計算アルゴリズムの基礎理論)
- J. Roger Hindley, and Jonathan P.Seldin 著, "Introduction to Combinators and λ-Calculus", CAMBRIDGE UNIVERSITY PRESS, B5判, 360p., £8.95, 1986
- 第8回自動演繹国際会議の報告
- 形付項書き換えシステム(計算機科学の基礎理論とその応用)
- Call by Need 再考
- On Equivalence Trarnsformations for Term Rewriting Systems
- 83-19 構成子をもつ等号理論での帰納法による証明
- 83-1 項書き換えシステムの順序付け
- 項書き換えシステムの可換性について
- H.P.Barendregt 著, "The Lambda Calculus its Syntax and Semantics", North-Holland, B5変形判, 615p., \27,000, 1981
- 81-16 合流リダクション : 抽象的な性質と項書き換えシステムへの応用
- 80-18 万能チューリング機械の構成に必要な複雑さについて