PPL2024:
第２６回プログラミングおよびプログラミング言語ワークショップ論文集
The 26th JSSST Workshop on Programming and Programming Languages
2024 年 3 月 5 日 〜 7 日、朱鷺メッセ 新潟コンベンションセンター
-
大石 美緒、浅井 健一
「Mikiβの相互再帰の実装と web インターフェースの改善」
17 ページ。
PDF、
デモ
-
横関 茉衣、浅井 健一
「論理関係による shift/reset の部分評価器の正当性の証明」
19 ページ。
PDF
PPL2023:
第２５回プログラミングおよびプログラミング言語ワークショップ論文集
The 25th JSSST Workshop on Programming and Programming Languages
2023 年 3 月 6 日 〜 8 日、名古屋大学
-
本田 華歩、山本 充子、浅井 健一
「shift/reset を含む型付き言語における Reflection 証明」
20 ページ。
PDF、
実装
-
秋山 雛乃、浅井 健一
「参照をサポートするインクリメンタルステッパの実装」
13 ページ。
PDF
PPL2022:
第２４回プログラミングおよびプログラミング言語ワークショップ論文集
The 24th JSSST Workshop on Programming and Programming Languages
2022 年 3 月 6 日 〜 8 日、オンライン
-
石尾 千晶、浅井 健一
「4種類の限定継続演算子のための型システム」
14 ページ。
PDF
-
藤井 舞花、浅井 健一
「代数的エフェクトとハンドラのための CPS インタプリタと型システム」
16 ページ。
PDF、
agda
-
秋山 雛乃、浅井 健一
「モジュールをサポートする OCaml ステッパの定式化と実装」
23 ページ。
PDF
PPL2021:
第２３回プログラミングおよびプログラミング言語ワークショップ論文集
The 23rd JSSST Workshop on Programming and Programming Languages
2021 年 3 月 9 日 〜 11 日、オンライン
-
藤井 舞花、浅井 健一
「control/prompt の仮想機械導出」
19 ページ。
PDF、
実装
-
北川 舞、浅井 健一
「OCaml 初学者の学習調査」
16 ページ（発表賞を受賞）。
PDF
PPL2020:
第２２回プログラミングおよびプログラミング言語ワークショップ論文集
The 22nd JSSST Workshop on Programming and Programming Languages
2020 年 3 月 2 日 〜 4 日、和多屋別荘（佐賀県嬉野市嬉野温泉）
新型コロナウイルスのため現地では開催されず
-
石尾 千晶、山本 充子、浅井 健一
「Agda の Reflection API を用いた自動証明に向けて」
20 ページ。
PDF
-
古川 つきの、浅井 健一
「algebraic effects を含むプログラムのステップ実行」
20 ページ。
PDF
PPL2019:
第２１回プログラミングおよびプログラミング言語ワークショップ論文集
The 21st JSSST Workshop on Programming and Programming Languages
2019 年 3 月 6 日 〜 8 日、湯の杜ホテル志戸平（岩手県花巻市志戸平温泉）
-
叢 悠悠、浅井 健一
「動的変数をもつ依存型付きラムダ計算」
24 ページ。
PDF
-
松本 晴香、浅井 健一
「Blockly をベースにした OCaml ビジュアルプログラミングエディタ」
15 ページ（論文賞、発表賞を受賞）。
PDF、
github
-
石尾 千晶、浅井 健一
「shift/reset のための selective CPS 変換の正当性の証明」
17 ページ。
PDF、
agda
PPL2018:
第２０回プログラミングおよびプログラミング言語ワークショップ論文集
The 20th JSSST Workshop on Programming and Programming Languages
2018 年 3 月 5 日 〜 7 日、皆生グランドホテル天水（鳥取県米子市皆生温泉）
-
叢 悠悠、浅井 健一
「限定継続命令をもつ依存型付き言語の設計」
17 ページ。
PDF
-
石尾 千晶、山田 麗、浅井 健一
「Agda による PHOAS を用いた CPS 変換の正当性の証明」
17 ページ。
PDF、
実装
-
脇川 奈穂、対馬 かなえ
「実用的な型エラースライサーの提案と評価」
17 ページ。
PDF
PPL2017:
第１９回プログラミングおよびプログラミング言語ワークショップ論文集
The 19th JSSST Workshop on Programming and Programming Languages
2017 年 3 月 8 日 〜 10 日、華やぎの章 慶山（山梨県笛吹市石和温泉）
-
叢 悠悠、浅井 健一
「Agda による依存型付きラムダ計算の CPS 変換の実装」
16 ページ。
PDF
-
上原 千裕、浅井 健一
「shift/reset の selective CPS 変換」
17 ページ。
PDF
PPL2016:
第１８回プログラミングおよびプログラミング言語ワークショップ論文集
The 18th JSSST Workshop on Programming and Programming Languages
2016 年 3 月 7 日 〜 9 日、ダイヤモンド瀬戸内マリンホテル（岡山県玉野市たまの温泉）
-
門脇 香子、浅井 健一
「Agda による定式化された型推論器の拡張と改良」
15 ページ。
PDF
PPL2015:
第１７回プログラミングおよびプログラミング言語ワークショップ論文集
The 17th JSSST Workshop on Programming and Programming Languages
2015 年 3 月 4 日 〜 6 日、道後プリンスホテル（愛媛県松山市道後温泉）
-
門脇 香子、浅井 健一
「Agda による型推論器の定式化」
13 ページ。
PDF
-
叢 悠悠、浅井 健一、戸次 大介
「shift/reset を用いた stepper の実装に向けて」
16 ページ。
PDF
-
上田 やよい、浅井 健一
「Call-by-Value でのパラメトリシティ」
15 ページ。
PDF
PPL2014:
第１６回プログラミングおよびプログラミング言語ワークショップ論文集
The 16th JSSST Workshop on Programming and Programming Languages
2014 年 3 月 5 日 〜 7 日、阿蘇の司 ビラパークホテル（熊本県阿蘇市阿蘇温泉）
-
山本 華子、戸次 大介
「Neighborhood-Sheaf Semantics による一階述語条件論理の意味論」
13 ページ。
-
叢 悠悠、浅井 健一、戸次 大介
「限定継続を用いたフォーカスの分析と実装」
14 ページ（発表賞を受賞）。
PDF
-
石井 柚季、浅井 健一
「型デバッガのログの解析とエラーメッセージの改良」
15 ページ（発表賞を受賞）。
PDF
-
Kanae Tsushima, Olaf Chitil
"Enumerating Counter-Factual Type Error Messages with an Existing
Type Checker"
17 ページ。
-
浅井 健一
「MetaOCaml を使った自己反映言語のコンパイル」
14 ページ。
PDF
PPL2013:
第１５回プログラミングおよびプログラミング言語ワークショップ論文集
The 15th JSSST Workshop on Programming and Programming Languages
2013 年 3 月 4 日 〜 6 日、御宿東鳳（福島県会津若松東山温泉）
-
金子 ちひろ、浅井 健一
「shift/reset によるモナドトランスフォーマの提案と実装」
14 ページ。
PDF
-
対馬 かなえ、浅井 健一
「コンパイラの型推論を利用した型スライス作成手法の提案」
15 ページ。
PDF
-
増子 萌、浅井 健一
「例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出」
15 ページ。
PDF
-
廣田 知子、浅井 健一
「shift/reset 付き TDPE の抽出」
14 ページ。
PDF
PPL2012:
第１４回プログラミングおよびプログラミング言語ワークショップ論文集
The 14th JSSST Workshop on Programming and Programming Languages
2012 年 3 月 8 日 〜 10 日、むさし（和歌山県白浜温泉）
-
石下 裕里、戸次 大介
「Illative Combinatory Logic を用いた前提の定式化に向けて」
pp. 55-66。
-
尾崎 有梨、戸次 大介
「一階述語条件論理とそのタブローシステム」
pp. 67-81。
-
対馬 かなえ、浅井 健一
「コンパイラの型推論を利用した型デバッグ手法の提案」
pp. 131-145。
PDF
PPL2011:
第１３回プログラミングおよびプログラミング言語ワークショップ論文集
The 13th JSSST Workshop on Programming and Programming Languages
2011 年 3 月 9 日 〜 11 日、定山渓ビューホテル（北海道定山渓温泉）
-
尾崎 有梨、戸次 大介
「条件論理 Cb とそのタブローシステム」
pp. 33-47。
-
増子 萌、戸次 大介
「メタラムダ計算の圏論的意味論」
pp. 60-74。
PPL2010:
第１２回プログラミングおよびプログラミング言語ワークショップ論文集
The 12th JSSST Workshop on Programming and Programming Languages
2010 年 3 月 3 日 〜 5 日、琴参閣（香川県琴平温泉）
-
上田 やよい、浅井 健一
「型付き対称λ計算と古典論理」
pp. 34-48。
PDF
-
対馬 かなえ、浅井 健一
「限定継続のための TDPE に向けて」
pp. 64-76。
PDF
-
増子 萌、浅井 健一
「shift/reset による Caml Light の拡張に向けて」
pp. 115-129。
PDF
-
櫻井 加奈子、浅井 健一
「汎用的に証明木の GUI を作成する『Miki β』の開発」
pp. 191-205。
PDF
-
木谷 有沙、浅井 健一
「プログラム変換によるインタプリタからのコンパイラの導出」
pp. 206-220（論文賞を受賞）。
PDF
PPL2009:
第１１回プログラミングおよびプログラミング言語ワークショップ論文集
The 11th JSSST Workshop on Programming and Programming Languages
2009 年 3 月 9 日 〜 11 日、高山グリーンホテル（岐阜県高山市）
-
木谷 有沙、浅井 健一
「限定継続を含む仮想機械導出のためのプログラム変換」
pp. 149-162。
PDF
-
増子 萌、浅井 健一
「MinCaml コンパイラにおける shift/reset の実装」
pp. 163-177。
PDF
PPL2008:
第１０回プログラミングおよびプログラミング言語ワークショップ論文集
The 10th JSSST Workshop on Programming and Programming Languages
2008 年 3 月 5 日 〜 7 日、緑水亭（宮城県仙台市秋保温泉）
-
阪上 紗里、浅井 健一
「対称λ計算の基礎理論」
pp. 111-125。
PDF
PPL2006:
第８回プログラミングおよびプログラミング言語ワークショップ論文集
The 8th JSSST Workshop on Programming and Programming Languages
2006 年 3 月 5 日 〜 7 日、琵琶湖グランドホテル（滋賀県大津市雄琴）
-
鈴木 歩、浅井 健一
「Calculus of Constructions のステージ化」
pp. 1-15。
PDF
PPL2004:
第６回プログラミングおよびプログラミング言語ワークショップ論文集
The 6th JSSST Workshop on Programming and Programming Languages
2004 年 3 月 11 日 〜 13 日、ホテル竹島（愛知県蒲郡市）
-
佐々木 真弓、浅井 健一
「データ構造に着目したコンパイラ最適化の形式化」
pp. 22-33。
PDF
-
中川 理恵、浅井 健一
「部分評価を使った自己反映言語のコンパイル」
pp. 113-132。
PDF
PPL1999:
第１回プログラミングおよびプログラミング言語ワークショップ論文集
The 1st JSSST Workshop on Programming and Programming Languages
1999 年 3 月 17 日 〜 19 日、熱川ハイツ（静岡県熱川温泉）
-
浅井 健一
「静的かつ動的な式を許すような部分評価器のための束縛時解析 」
pp. 45-54。
a4.ps
Last modified on March 6, 2024