Program

PROGRAM

Days: Tuesday, March 9th Wednesday, March 10th Thursday, March 11th

Tuesday, March 9th

View this program: with abstracts session overview talk overview

Chair:

10:10	拓小野澤, 始陽鵜川 and 英哉岩崎 [C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション (abstract)
10:35	Yusuke Izawa and Hidehiko Masuhara [C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (abstract)
11:00	舞花藤井 and 健一浅井 [C1] control / prompt の仮想機械導出 (abstract)
11:25	Kazutaka Matsuda and Meng Wang [C2] Sparcl: a language for partially-invertible computation (abstract)

13:00-14:10 Session 3: 招待講演1

招待講演前に2件（フィックスターズ様、東大IPC様）のスポンサートークを予定しています

Chair:

Katsuhiro Ueno

13:00

英希高瀬

関数型言語ElixirのIoTシステム開発への展開 (abstract)

14:30-15:20 Session 4: 教育

Chair:

Susumu Yamazaki

14:30	舞北川 and 健一浅井 [C1] OCaml初学者の学習調査 (abstract)
14:55	拓三宮島, 英哉岩崎 and 靖久野 [C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境 (abstract)

15:30-17:30 Session 5: ポスター1

チェア：関山太朗　　副チェア（Gather担当）：佐藤重幸

15:30	Tomoki Ogushi and Hidehiko Masuhara ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ） (abstract)
15:30	広途谷口 and 和久中正定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ） (abstract)
15:30	仁佐野 and 和紀上田 HyperLMNtal を用いた G-Machine の実装（ポスター） (abstract)
15:30	崇志池田 and 祥治結縁ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ） (abstract)
15:30	淳司福原 and 宗宏滝本スカラ置換に基づく分岐発散の低減（ポスター） (abstract)
15:30	諒池田, 茉友子郡, 直樹小林 and 亮介佐藤 HFL(N) の循環証明の半自動的構成（ポスター） (abstract)
15:30	汐里德永 and 大輔木村 2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ) (abstract)
15:30	華歩本田 and 健一浅井 control/promptのためのCPS変換とその正当性（ポスター） (abstract)
15:30	諭庄司 and Oleg Kiselyov 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ） (abstract)
15:30	宇路潘 and 友一西脇 Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ） (abstract)
15:30	寛太上中野, 昌宏八杉 and 拓平石 out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター） (abstract)
15:30	千裕竹内, 昌宏八杉 and 拓平石移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター） (abstract)
15:30	翼所司, 直樹小林 and 亮介佐藤逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター） (abstract)
15:30	晟樹飯田, 献自早乙女 and 巧爾中澤分離論理におけるエンテイルメント判定問題の決定不能性（ポスター） (abstract)
15:30	元紀木村, 重幸佐藤 and 健次朗田浦混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ） (abstract)
15:30	真士毛利 and 俊行山田文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ） (abstract)
15:30	和生新美, 悠悠叢 and 英彦増原 Effekt言語の双方向エフェクトによる拡張（ポスター・デモ） (abstract)
15:30	良太郎伴野, 聡太佐藤, 淳古瀬, 幸平末永 and 淳五十嵐暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター） (abstract)
15:30	瑛輔遠藤 and 英二郎住井 SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ） (abstract)
15:30	直也古殿, 悠悠叢 and 英彦増原 Koka言語に対するエフェクト割り当て最適化（ポスター） (abstract)
15:30	博史細部 and 健佐藤階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター） (abstract)
15:30	宇音秀島, 重幸佐藤 and 健次朗田浦 MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター） (abstract)
15:30	徹大今津, 和之浅田 and 圭介中野制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ） (abstract)
15:30	修祐高橋, 侑祐伊澤, 英彦増原 and 悠悠叢汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター） (abstract)

17:30-18:30 学生向け交流企画1

テーマ：研究生活

研究のモチベーションを維持するコツや、（社会人）ドクターの生活などについて、先輩相談員が語ってくれます。

Chair:

悠悠叢

Wednesday, March 10th

View this program: with abstracts session overview talk overview

10:00-10:50 Session 6: 論理

Chair:

Tetsuya Sato

10:00	康誠藤代 and 浩二長谷部 [C1] ビザンチン将軍問題における知識の分析に基づく故障の特定 (abstract)
10:25	秀樹立木 and ウーリッヒベルガー [C2] Intuitionistic Fixed Point Logic (abstract)

11:10-12:00 Session 7: 意味論

Chair:

Kazuyuki Asada

11:10	Alejandro Aguirre and Shin-Ya Katsumata [C2] Weakest Preconditions in Fibrations (abstract)
11:35	Satoshi Kura [C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically (abstract)

13:00-14:05 Session 8: 招待講演2

招待講演前に1件（KLab様）のスポンサートークを予定しています

Chair:

Hiroshi Unno

13:00

宗太郎松本

Ruby 3の新機能としての静的型検査の開発 (abstract)

14:30-15:20 Session 9: 型

Chair:

Kazutaka Matsuda

14:30	Kenichi Asai, Youyou Cong and Chiaki Ishio [C2] A Functional Abstraction of Typed Trails (abstract)
14:55	Taro Sekiyama, Takeshi Tsukada and Atsushi Igarashi [C2] Signature Restriction for Polymorphic Algebraic Effects (abstract)

15:30-17:30 Session 10: ポスター2

チェア：関山太朗　　副チェア（Gather担当）：佐藤重幸

15:30	大地山道, 和久中正 and 克己和﨑 Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ） (abstract)
15:30	圭太清水 and 浩二長谷部モデル検査法による交通輸送システムの近似スケジューリング(ポスター) (abstract)
15:30	昌輝中田 and 和紀上田グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター） (abstract)
15:30	Susumu Yamazaki Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ) (abstract)
15:30	慧深縫嶋, 有花秋信 and 君郎倉光 NMTを用いたPythonと日本語間の双方向翻訳（ポスター） (abstract)
15:30	Huangcheng Cai, Tasuku Hiraishi, Hiroshi Nakashima and Masahiro Yasugi Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター） (abstract)
15:30	悠悠叢 Agda による対位法の形式化（ポスター・デモ） (abstract)
15:30	勇人子原, 純彦依田 and 敦司前田仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター） (abstract)
15:30	遼哉向井, 秀斗上野, 直樹小林 and 亮介佐藤プログラムの自動検証のための引数付き再帰篩型（ポスター） (abstract)
15:30	雄太山本ホモロジーの推論のための Martin-L ̈of 型理論（ポスター） (abstract)
15:30	純也四十坊, 正樹和賀 and 幸平末永物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター） (abstract)
15:30	優介志岐, 昌宏八杉 and 拓平石 UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター） (abstract)
15:30	俊介小坂, 大樹森田 and 敦司前田 Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター） (abstract)
15:30	うらん山本 and 英二郎住井 MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ） (abstract)
15:30	侑祐伊澤, 英彦増原 and 悠悠叢 An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) (abstract)
15:30	雛乃秋山 and 健一浅井 OCamlステッパの改良（ポスター・デモ） (abstract)
15:30	Marcos Yukio Siraichi, Shigeyuki Sato and Kenjiro Taura Compiling Stencils into Systolic Array Patterns for GPUs（ポスター） (abstract)
15:30	悠紀中村 and 英二郎住井定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ） (abstract)
15:30	和槻池守, 悠悠叢 and 英彦増原代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター) (abstract)
15:30	孝輔梅木, 太朗関山 and 淳五十嵐レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター) (abstract)
15:30	亮藤岡 and 誠浜名高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ） (abstract)
15:30	光佐藤, 圭介中野 and 和之浅田高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター） (abstract)
15:30	純弥能勢, 悠悠叢 and 英彦増原デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ） (abstract)
15:30	Reynald Affeldt and Cyril Cohen Formalization of Measure Theory in Coq（ポスター・デモ） (abstract)

17:30-18:30 学生向け交流企画2

テーマ：就活

就職先・インターン先の探し方、自分の研究をアピールする方法などについて、先輩相談員がアドバイスをしてくれます。

Chair:

悠悠叢

Thursday, March 11th

View this program: with abstracts session overview talk overview

10:00-10:50 Session 11: 字句解析，構文解析

Chair:

Kota Mizushima

10:00	Isao Sasano and Kwanghoon Choi [C2] A text-based syntax completion method using LR parsing (abstract)
10:25	Le Li, Shigeyuki Sato, Qiheng Liu and Kenjiro Taura [C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning (abstract)

11:10-12:00 Session 12: 形式言語

Chair:

Toru Takisaka

11:10	良磨新屋 [C1] 正則言語で極限的に近似可能な言語について (abstract)
11:35	Takayuki Miyazaki and Yasuhiko Minamide [C2] Context-Free Grammars with Lookahead (abstract)

13:00-13:50 Session 13: チュートリアル

Chair:

Kenichi Asai

13:00

Ichiro Hasuo

[C4] Software Science under Uncertainties: A Survey (abstract)

14:10-15:00 Session 14: 開発支援

Chair:

Akira Tanaka

14:10	信宏笠井 and 功篠埜 [C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察 (abstract)
14:35	晟吾重中, 和久中正 and 克己和﨑 [C1] Mizar数学ライブラリの依存関係の可視化 (abstract)

15:10-16:00 Session 15: 機械学習，ブロックチェーン

Chair:

Yasunobu Sumikawa

15:10	悠岩崎 and 浩二長谷部 [C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発 (abstract)
15:35	柊高山, 悠人竹井 and 一幸首藤 [C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル (abstract)

16:00-16:30 Session 16: クロージング