Presentations - ASAI Kenichi

41. Report on an OCaml type debugger

    Kanae Tsushima, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Workshop on ML, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

42. `Focus movement' by delimited continuations

    Daisuke Bekki, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

43. Correctness of Functions with Shift and Reset

    Noriko Hirota, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

44. Non-deterministic search library

    Kenichi Asai, Chihiro Kaneko, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Not Invited, Main Speaker

45. MikiBeta : A General GUI Library for Visualizing Proof Trees

    Kanako Sakurai, Kenichi Asai, Domestic, 2011.03, , The 13th JSSST Workshop on Programming and Programming Languages, Sapporo, Hokkaido, Japan Society for Software Science and Technology, Not Invited, Coauthor

46. Implementation of Non-deterministic Operators for Search Algorithms

    Chihiro Kaneko, Kenichi Asai, Domestic, 2011.03, , The 13th JSSST Workshop on Programming and Programming Languages, Sapporo, Hokkaido, Japan Society for Software Science and Technology, Not Invited, Coauthor

47. 証明木作成プログラムを用いた CCG 統語導出の実装

    Yuri Ozaki, Kanako Sakurai, Kenichi Asai, Daisuke Bekki, Domestic, 2010.03, , 言語処理学会年次大会, Not Invited, Coauthor

48. An experience for Implementing an interactive game using the World teachpack in the DrScheme environment

    Yuyu Sou, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

49. Proving correctness of stack introduction using logical relations

    Yumi Arai, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

50. General visualization system for reduction processes

    Chihiro Ishikawa, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

51. Implementing partial evaluator in MetaOCaml

    Arisa Iwai, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

52. Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism

    Noriko Hirota, Kenichi Asai, International, 2009.09, , 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, Edinburgh, Scotland, ACM, Not Invited, Main Speaker

53. Functional un|unparsing

    Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan, International, 2009.08, , Symposium in Honor of Mitchell Wand, Boston, Massachusetts, Not Invited, Coauthor

54. Towards Type-Directed Partial Evaluation for Shift and Reset

    Kanae Tsushima, Kenichi Asai, International, 2009.08, , 2009 Workshop on Normalization by Evaluation, Los Angeles, California, Not Invited, Coauthor

55. Towards polyvariant partial evaluation of delimited continuation constructs with recursion

    Kanae Tsushima, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

56. GUI for constructing proof trees

    Kanako Sakurai, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

57. Introducing logical conjunction and disjunction into typed symmetric lambda calculus

    Yayoi Ueda, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

58. Introduction to Delimited Continuations -- Typing Printf

    Kenichi Asai, Domestic, 2008.04, , Continuation Fest 2008, Invited, Main Speaker

59. Locally Nameless 手法を使った継続計算に対する型システムの健全性の証明

    廣田知子、浅井健一, Domestic, 2008.03, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, Not Invited, Coauthor

60. 継続計算のための仮想機械の導出

    木谷有沙、浅井健一, Domestic, 2008.03, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, Not Invited, Coauthor