浅井 健一 | お茶の水女子大学
スポンサーリンク
概要
関連著者
-
浅井 健一
お茶の水女子大学
-
Asai K
Department Of Information Science Faculty Of Science Ochanomizu University
-
浅井 健一
お茶の水女子大学理学部情報科学科
-
浅井 健一
東京大学理学部情報科学科
-
浅井 健一
東京大学大学院理学系研究科情報科学専攻
-
松岡 聡
国立情報学研究所
-
稲葉 真理
東京大学大学院情報理工学系研究科
-
米澤 明憲
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
浜田 陽子
お茶の水女子大学生活科学部
-
浜田 陽子
お茶の水女子大学
-
米澤 明憲
東京大学理学系研究科情報科学専攻
-
松岡 聡
東京大学理学部情報科学科:(現)東京大学工学部計数工学科
-
今井 浩
東京大学理学部情報科学科
-
木谷 有沙
お茶の水女子大学
-
稲葉 真理
東大
-
増原 英彦
東京大学大学院理学系研究科情報科学専攻
-
稲葉 真理
東京大学理学系研究科
-
河内谷 清久仁
日本アイ・ビー・エム株式会社東京基礎研究所
-
米澤 明憲
東京大学理学部情報科学科
-
渡辺 理沙
お茶の水女子大学
-
坂下 徳子
お茶の水女子大学
-
阪上 紗里
お茶の水女子大学
-
増原 英彦
東京大学大学院総合文化研究科
-
増原 英彦
東京大学理学部情報科学科
-
今井 浩
東京大学理学系研究科情報科学専攻 Erato今井量子計算機構プロジェクト 科学技術振興事業団
-
河内谷 清久仁
日本アイ・ビー・エム(株)東京基礎研究所
-
米澤 明憲
東京大学大学院情報理工学系研究科
著作論文
- 限定継続処理の抽象機械導出のためのプログラム変換
- Mu1tilispの操作的意味及び実現
- 対称λ計算の基礎理論
- Calcコンパイラの作成
- 静的かつ動的な式を許すような部分評価器のための束縛時解析(特集●プログラミング及びプログラミング言語)
- 「適合性とテスト」の現状とISO/TC211における日本の役割 : ISO/TC211の進捗状況に関する報告
- 地理情報システムの標準化動向と参照モデル
- 副作用を含む関数型プログラムの部分評価に向けて
- PPL 2011開催報告
- ICFP/PEPM '97会議報告