Welcome to Kenichi Asai's Home Page
日本語文献リスト
（
PPL論文）
-
浅井 健一
「最低限の lex/yacc」
オンライン (2020-).
github.
-
浅井 健一
「コンピュータを操る」
Computer and Web Sciences Library 2、サイエンス社、140 ページ (February 2020).
サポートページ.
-
叢 悠悠、浅井 健一
「限定継続命令をもつ依存型付き言語の設計」
コンピュータソフトウェア, Vol. 36, No. 2, pp. 47-60 (May 2019).
jssst.
-
対馬 かなえ、浅井 健一
「重み付き型エラースライスの提案」
コンピュータソフトウェア, Vol. 31, No. 4, pp. 131-148 (November 2014).
jssst.
-
廣田 知子、浅井 健一
「限定継続命令 shift/reset 付き型主導部分評価器の抽出」
情報処理学会論文誌 プログラミング (PRO),
Vol. 6, No. 4, pp. 50-64 (December 2013).
ipsj.
-
対馬 かなえ、浅井 健一
「コンパイラの型推論を使用した型デバッガの提案」
コンピュータソフトウェア, Vol. 30, No. 1, pp. 180-186 (February 2013).
jssst.
-
木谷 有沙、浅井 健一
「限定継続処理の抽象機械導出のためのプログラム変換」
コンピュータソフトウェア, Vol. 27, No. 3, pp. 51-66 (August 2010).
jssst.
-
阪上 紗里、浅井 健一
「対称λ計算の基礎理論」
コンピュータソフトウェア, Vol. 26, No. 2, pp. 3-17 (May 2009).
jssst.
阪上 紗里
「型付き対称λ計算の基礎理論」
お茶の水女子大学、修士論文、127 ページ (January 2008).
pdf
-
浅井 健一
「プログラミングの基礎」
Computer Science Library 3、サイエンス社、288 ページ (February 2007).
サポートページ.
-
浅井 健一
「静的かつ動的な式を許すような部分評価器のための束縛時解析」
コンピュータソフトウェア, Vol. 17, No. 3, pp. 20-37 (May 2000).
a4.ps,
a4.pdf
-
浅井 健一
「ICFP/PEPM '97 会議報告」
コンピュータソフトウェア, Vol. 15, No. 3, pp. 64-68 (May 1998).
a4.ps
ISO/TC211 関係の解説
-
浅井 健一
「ISO/TC211 の紹介（２）適合性とテスト」
測量, Vol. 50, No. 2, pp. 54-58 (February 2000).
a4.ps
-
浅井 健一
「「適合性とテスト」の現状と ISO/TC211 における日本の役割
（ISO/TC211 の進捗状況に関する報告）」
地理情報システム学会講演論文集, Vol. 7, pp. 167-170 (October 1998).
-
今井 浩、浅井 健一、稲葉 真理
「地理データベース・地理情報処理の標準化における動向」
「高度データベース」松江ワークショップ講演論文集, Vol. 2, pp. 311-316
(September 1996).
a4.ps
Last modified on March 25, 2021