Talk Author Index

TALK AUTHOR INDEX

A
Affeldt, Reynald	Formalization of Measure Theory in Coq（ポスター・デモ）
Aguirre, Alejandro	[C2] Weakest Preconditions in Fibrations
C
Cai, Huangcheng	Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
Choi, Kwanghoon	[C2] A text-based syntax completion method using LR parsing
Cohen, Cyril	Formalization of Measure Theory in Coq（ポスター・デモ）
Cong, Youyou	[C2] A Functional Abstraction of Typed Trails 汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ） Koka言語に対するエフェクト割り当て最適化（ポスター）代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター) Effekt言語の双方向エフェクトによる拡張（ポスター・デモ） An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) Agda による対位法の形式化（ポスター・デモ）
H
Hasuo, Ichiro	[C4] Software Science under Uncertainties: A Survey
I
Igarashi, Atsushi	[C2] Signature Restriction for Polymorphic Algebraic Effects レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター) 暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
Ishio, Chiaki	[C2] A Functional Abstraction of Typed Trails
Izawa, Yusuke	[C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework 汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター） An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター)
K
Katsumata, Shin-Ya	[C2] Weakest Preconditions in Fibrations
Kiselyov, Oleg	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
Kura, Satoshi	[C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically
L
Li, Le	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
Liu, Qiheng	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
M
Masuhara, Hidehiko	[C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework 汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ） Koka言語に対するエフェクト割り当て最適化（ポスター）代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター) Effekt言語の双方向エフェクトによる拡張（ポスター・デモ） An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ）
Matsuda, Kazutaka	[C2] Sparcl: a language for partially-invertible computation
Minamide, Yasuhiko	[C2] Context-Free Grammars with Lookahead
Miyazaki, Takayuki	[C2] Context-Free Grammars with Lookahead
N
Nakashima, Hiroshi	Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
O
Ogushi, Tomoki	ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ）
S
Sasano, Isao	[C2] A text-based syntax completion method using LR parsing [C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察
Sato, Shigeyuki	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター） Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
Sekiyama, Taro	[C2] Signature Restriction for Polymorphic Algebraic Effects
Siraichi, Marcos Yukio	Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）
T
Taura, Kenjiro	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター） Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
Tsukada, Takeshi	[C2] Signature Restriction for Polymorphic Algebraic Effects
W
Wang, Meng	[C2] Sparcl: a language for partially-invertible computation
Y
Yamazaki, Susumu	Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ)
ベ
ベルガー, ウーリッヒ	[C2] Intuitionistic Fixed Point Logic
上
上中野, 寛太	out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター）
上田, 和紀	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター） HyperLMNtal を用いた G-Machine の実装（ポスター）
上野, 秀斗	プログラムの自動検証のための引数付き再帰篩型（ポスター）
中
中村, 悠紀	定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ）
中正, 和久	[C1] Mizar数学ライブラリの依存関係の可視化 Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ）
中澤, 巧爾	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
中田, 昌輝	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター）
中野, 圭介	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
久
久野, 靖	[C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
今
今津, 徹大	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）
伴
伴野, 良太郎	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
住
住井, 英二郎	定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ） SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ） MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ）
佐
佐藤, 亮介	プログラムの自動検証のための引数付き再帰篩型（ポスター） HFL(N) の循環証明の半自動的構成（ポスター）
佐藤, 亮介	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター）
佐藤, 健	階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター）
佐藤, 光	高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
佐藤, 聡太	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
佐野, 仁	HyperLMNtal を用いた G-Machine の実装（ポスター）
依
依田, 純彦	仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
倉
倉光, 君郎	NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
八
八杉, 昌宏	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター） out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター） Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
前
前田, 敦司	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
北
北川, 舞	[C1] OCaml初学者の学習調査
古
古殿, 直也	Koka言語に対するエフェクト割り当て最適化（ポスター）
古瀬, 淳	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
向
向井, 遼哉	プログラムの自動検証のための引数付き再帰篩型（ポスター）
和
和賀, 正樹	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
和﨑, 克己	[C1] Mizar数学ライブラリの依存関係の可視化 Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
四
四十坊, 純也	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
子
子原, 勇人	仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
宮
宮島, 拓三	[C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
小
小坂, 俊介	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
小林, 直樹	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター）プログラムの自動検証のための引数付き再帰篩型（ポスター） HFL(N) の循環証明の半自動的構成（ポスター）
小野澤, 拓	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
山
山本, うらん	MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ）
山本, 雄太	ホモロジーの推論のための Martin-L ̈of 型理論（ポスター）
山田, 俊行	文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ）
山道, 大地	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
岩
岩崎, 悠	[C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発
岩崎, 英哉	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション [C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
平
平石, 拓	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター） out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター） Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
庄
庄司, 諭	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
德
德永, 汐里	2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ)
志
志岐, 優介	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）
所
所司, 翼	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター）
新
新屋, 良磨	[C1] 正則言語で極限的に近似可能な言語について
新美, 和生	Effekt言語の双方向エフェクトによる拡張（ポスター・デモ）
早
早乙女, 献自	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
木
木村, 元紀	混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
木村, 大輔	2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ)
末
末永, 幸平	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
本
本田, 華歩	control/promptのためのCPS変換とその正当性（ポスター）
松
松本, 宗太郎	Ruby 3の新機能としての静的型検査の開発
梅
梅木, 孝輔	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
森
森田, 大樹	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
毛
毛利, 真士	文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ）
池
池守, 和槻	代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター)
池田, 崇志	ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ）
池田, 諒	HFL(N) の循環証明の半自動的構成（ポスター）
浅
浅井, 健一	[C1] control / prompt の仮想機械導出 [C2] A Functional Abstraction of Typed Trails [C1] OCaml初学者の学習調査 OCamlステッパの改良（ポスター・デモ） control/promptのためのCPS変換とその正当性（ポスター）
浅田, 和之	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
浜
浜名, 誠	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
清
清水, 圭太	モデル検査法による交通輸送システムの近似スケジューリング(ポスター)
滝
滝本, 宗宏	スカラ置換に基づく分岐発散の低減（ポスター）
潘
潘, 宇路	Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ）
福
福原, 淳司	スカラ置換に基づく分岐発散の低減（ポスター）
秀
秀島, 宇音	MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター）
秋
秋信, 有花	NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
秋山, 雛乃	OCamlステッパの改良（ポスター・デモ）
立
立木, 秀樹	[C2] Intuitionistic Fixed Point Logic
竹
竹井, 悠人	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
竹内, 千裕	移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター）
笠
笠井, 信宏	[C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察
細
細部, 博史	階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター）
結
結縁, 祥治	ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ）
縫
縫嶋, 慧深	NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
能
能勢, 純弥	デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ）
藤
藤井, 舞花	[C1] control / prompt の仮想機械導出
藤代, 康誠	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定
藤岡, 亮	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
西
西脇, 友一	Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ）
谷
谷口, 広途	定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ）
遠
遠藤, 瑛輔	SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ）
郡
郡, 茉友子	HFL(N) の循環証明の半自動的構成（ポスター）
重
重中, 晟吾	[C1] Mizar数学ライブラリの依存関係の可視化
長
長谷部, 浩二	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定 [C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発モデル検査法による交通輸送システムの近似スケジューリング(ポスター)
関
関山, 太朗	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
飯
飯田, 晟樹	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
首
首藤, 一幸	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
高
高山, 柊	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
高橋, 修祐	汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）
高瀬, 英希	関数型言語ElixirのIoTシステム開発への展開
鵜
鵜川, 始陽	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション