大堀 淳 | 東北大学電気通信研究所
スポンサーリンク
概要
関連著者
-
大堀 淳
東北大学電気通信研究所
-
大堀 淳
京都大学数理解析研究所
-
大堀 淳
沖電気工業(株)関西総合研究所
-
橋本 政朋
京都大学数理解析研究
-
大堀 淳
東北大学
-
上野 雄大
東北大学電気通信研究所
-
竹内 郁雄
東京大学大学院情報理工学系研究科創造情報学専攻
-
村井 純
慶大
-
竹内 郁雄
電気通信大学情報工学科
-
二木 厚吉
電総研
-
竹内 郁雄
NTT基礎研
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
上田 和紀
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
安村 通晃
慶大
-
大堀 淳
沖電気
-
柴山 悦哉
龍谷大
-
上田 和紀
ICOT
-
萩谷 昌己
京大
-
村上 岳生
東京大学理学部情報科学科:(現)富士通研究所
-
柴山 悦哉
龍谷大学 理工学部
-
加藤 和彦
東京大学理学部情報学科
-
益田 隆司
東京大学理学部情報科学科
-
竹内 郁雄
NTT 基礎研究所
-
加藤 岳臣
京都大学数理解析研究所
-
吉田 信明
京都大学数理解析研究所
-
吉田 信明
京都高度技術研究所
-
竹内 郁雄
NTT ソフトウェア研究所
著作論文
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 高階遠隔手続き呼出しに基づいたC言語について (分散オペレーティングシステム)
- A-031 コンパイラ構築の証明論的枠組み(モデル・アルゴリズム・プログラミング,一般論文)
- Peter J. Denning : The Working Set Model for Program Behavior(20世紀の名著名論)
- 動的永続性へのアプローチ (高度データベース論文特集)
- 型付高階モーバイル言語の設計
- MLプログラミング入門(IV)
- MLプログラミング入門(III)
- MLプログラミング入門(II)
- MLプログラミング (I)
- ML : 多相型システムをもつ関数型言語 (プログラミング言語最新情報1)
- 第19回POPL
- 3. オブジェクト指向データベースの技術的諸問題 3.1 オブジェクト指向データベースの形式化 (オブジェクト指向データベースシステム)
- 3.SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 制御フローの合流のための計算系
- A-030 MLとC間の多相型外部関数インターフェース(モデル・アルゴリズム・プログラミング,一般論文)
- 3M-1 プログラミング言語SML#(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)