論文 - 浅井 健一

41. MinCaml コンパイラにおける shift/reset の実装

    第11回プログラミングおよびプログラミング言語ワークショップ, , 2009年03月, 増子萌、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

42. Strong Normalizatoin of Polymorphic Calculus for Delimited Continuations

    Workshop on Symbolic Computation in Software Science 2008, , 2008年07月, Kameyama, Y., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

43. 対称λ計算の基礎理論

    第10回プログラミングおよびプログラミング言語ワークショップ, , 2008年03月, 阪上紗里、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

44. Polymorphic Delimited Continuations

    APLAS 2007, Lecture Notes in Computer Science, , 2007年11月, Asai, K., and Y. Kameyama, 原著, 研究論文（学術雑誌）, 第一著者相当

45. Calculus of Constructions のステージ化

    第８回プログラミングおよびプログラミング言語ワークショップ, , 2006年03月, 鈴木歩、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

46. Logical Relations for Call-by-value Delimited Continuations

    Sixth Symposium on Trends in Functional Programming, , 2005年09月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

47. Offline Partial Evaluation for Shift and Reset

    PEPM 2004, , 2004年08月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

48. Reflecting on the Metalevel Interpreter Written in Direct Style

    International Lisp Conference 2003 (ILC 2003), , 2003年10月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

49. Can partial evaluation improve the performance of ray tracing?

    Natural Science Report, Ochanomizu University, , 2002年06月, Asai, K., 原著, 研究論文（大学，研究機関等紀要）, 単著

50. Online Partial Evaluation for Shift and Reset

    PEPM 2002, , 2002年01月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

51. Binding-Time Analysis for Both Static and Dynamic Expressions

    New Generation Computing, , 2001年11月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

52. Integrating Partial Evaluators into Interpreters

    SAIG 2001 (LNCS 2196), , 2001年09月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

53. 静的かつ動的な式を許すような部分評価器のための束縛時解析

    コンピュータソフトウェア, , 2000年05月, 浅井 健一, 原著, 研究論文（学術雑誌）, 単著

54. ISO/TC211 の紹介（２）適合性とテスト

    測量, , 2000年02月, 浅井 健一, 原著, 研究論文（学術雑誌）, 単著

55. Binding-Time Analysis for Both Static and Dynamic Expressions

    Static Analysis (LNCS), , 1999年09月, Asai, K, 原著, 研究論文（学術雑誌）, 単著

56. 静的かつ動的な式を許すような部分評価器のための束縛時解析

    プログラミングおよびプログラミング言語ワークショップ論文集, , 1999年03月, 浅井 健一, 原著, 研究論文（学術雑誌）, 単著

57. 「適合性とテスト」の現状と ISO/TC211 における日本の役割 （ISO/TC211 の進捗状況に関する報告）

    地理情報システム学会講演論文集, , 1998年10月, 浅井 健一, 原著, 研究論文（学術雑誌）, 単著

58. ICFP/PEPM '97 会議報告

    コンピュータソフトウェア, , 1998年05月, 浅井 健一, 原著, 研究論文（学術雑誌）, 単著

59. Partial Evaluation of Call-by-value Lambda-calculus with Side-effects

    PEPM '97, , 1997年06月, Asai, K., H. Masuhara, and A. Yonezawa, 原著, 研究論文（学術雑誌）, 第一著者相当

60. 地理データベース・地理情報処理の標準化における動向」 「高度データベース

    松江ワークショップ講演論文集, , 1996年09月, 今井 浩、浅井 健一、稲葉 真理, 原著, 研究論文（学術雑誌）, 共著者