PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ

This page contains an index consisting of author-provided keywords.

(
(余）帰納法	[C2] Intuitionistic Fixed Point Logic
2
2次元作図問題	2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ)
A
Agda	control/promptのためのCPS変換とその正当性（ポスター）
algebraic effects and handlers	[C2] Signature Restriction for Polymorphic Algebraic Effects
analysis	Formalization of Measure Theory in Coq（ポスター・デモ）
APL	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
augmented transition network	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
B
backtracking	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
C
C-cubic	MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ）
categorical semantics	[C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically
Context-free grammars	[C2] Context-Free Grammars with Lookahead
control / prompt	[C1] control / prompt の仮想機械導出
control and prompt	[C2] A Functional Abstraction of Typed Trails
control/prompt	control/promptのためのCPS変換とその正当性（ポスター）
Coq	Formalization of Measure Theory in Coq（ポスター・デモ）
CPS	[C1] control / prompt の仮想機械導出
CPS変換	control/promptのためのCPS変換とその正当性（ポスター）
cyber-physical system	[C4] Software Science under Uncertainties: A Survey
D
delimited continuations	[C2] A Functional Abstraction of Typed Trails
Denotational semantics	[C2] Context-Free Grammars with Lookahead
dependent refinement type system	[C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically
domain-specific language	[C2] Sparcl: a language for partially-invertible computation
Dynamic Load Balancing	Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
E
Elixir	Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ)
Embedded DSL	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
error recovery	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
error reporting	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター）
Ethereum	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
F
F*	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
Fibration	[C2] Weakest Preconditions in Fibrations [C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically
Finite Automaton	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
Formal language theory	[C2] Context-Free Grammars with Lookahead
formal methods	[C4] Software Science under Uncertainties: A Survey
formal verification	Formalization of Measure Theory in Coq（ポスター・デモ） [C4] Software Science under Uncertainties: A Survey
functional programming	[C2] Sparcl: a language for partially-invertible computation
G
G-Machine	HyperLMNtal を用いた G-Machine の実装（ポスター）
GPU	スカラ置換に基づく分岐発散の低減（ポスター）
GPU Computing	Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）
Graal / Truffle	汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）
graph layout	[C1] Mizar数学ライブラリの依存関係の可視化
H
Haskell	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
HFL(N)	HFL(N) の循環証明の半自動的構成（ポスター）
Hiddenクラス	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
Hoare logic	[C2] Weakest Preconditions in Fibrations
HyperLMNtal	HyperLMNtal を用いた G-Machine の実装（ポスター）
I
IDE	定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ）
integrated development environments	[C2] A text-based syntax completion method using LR parsing
IoTシステム	関数型言語ElixirのIoTシステム開発への展開
J
JavaScript	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
JIT compiler	An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) [C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
K
Koka言語	Koka言語に対するエフェクト割り当て最適化（ポスター）
L
language implementation framework	An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) [C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Lexical Analysis	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
library visualization	[C1] Mizar数学ライブラリの依存関係の可視化
LMNtal	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター）
Lookahead	[C2] Context-Free Grammars with Lookahead
LR parsing	[C2] A text-based syntax completion method using LR parsing
M
mathematical knowledge management	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
measure theory	Formalization of Measure Theory in Coq（ポスター・デモ）
meta-tracing JIT compiler	[C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Mizar	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ） 定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ） [C1] Mizar数学ライブラリの依存関係の可視化
model-free method	[C4] Software Science under Uncertainties: A Survey
monad	[C2] Weakest Preconditions in Fibrations [C2] A General Semantic Construction of Dependent Refinement Type Systems, Categorically
Monad lifting	[C2] Weakest Preconditions in Fibrations
MPI	Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
MPI-3 RMA	MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター）
O
OCaml	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター） OCamlステッパの改良（ポスター・デモ） 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
OCaml Blockly	[C1] OCaml初学者の学習調査
out-of-core	out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター）
P
packrat parsing	仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
Parallelism	[C2] Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
parser generator	[C2] A text-based syntax completion method using LR parsing
Parsing	[C2] Context-Free Grammars with Lookahead
parsing expression grammar	Committed-Choice PEGのATNによるパーサ実装と構文エラー処理（ポスター） 仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
Parsing expression grammars	[C2] Context-Free Grammars with Lookahead
Plebeia	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
polymorphic effects	[C2] Signature Restriction for Polymorphic Algebraic Effects
polymorphic type assignment	[C2] Signature Restriction for Polymorphic Algebraic Effects
Program Transformation	Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）
proof assistant	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ） 定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ） [C1] Mizar数学ライブラリの依存関係の可視化
Q
QED system	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
quantitative verification	[C4] Software Science under Uncertainties: A Survey
R
reduction	[C2] A text-based syntax completion method using LR parsing
Regular expressions	[C2] Context-Free Grammars with Lookahead
reversible computation	[C2] Sparcl: a language for partially-invertible computation
RPython	An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター) [C2] Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Ruby 3	Ruby 3の新機能としての静的型検査の開発
Rust	Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ）
S
sentential forms	[C2] A text-based syntax completion method using LR parsing
SIMD	Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ)
size-change termination	HFL(N) の循環証明の半自動的構成（ポスター）
SMTソルバー	SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ）
software engineering	[C4] Software Science under Uncertainties: A Survey
software science	[C4] Software Science under Uncertainties: A Survey
Stencil	Compiling Stencils into Systolic Array Patterns for GPUs（ポスター）
Syntactic predicates	[C2] Context-Free Grammars with Lookahead
syntax completion	[C2] A text-based syntax completion method using LR parsing
systems programming	Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ）
T
tail call optimization	仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
Task-Parallel Languages	Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language（ポスター）
testing	[C4] Software Science under Uncertainties: A Survey
Tezos	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
tracing JIT	An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (ポスター)
type systems	[C2] A Functional Abstraction of Typed Trails
U
UTS（Unbalanced Tree Search）	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）
V
verification	Unsafe Rustプログラムの半自動正当性検証（ポスター・デモ）
Visual Studio Code	定理証明支援系Mizar上での開発を補助するエディタ拡張機能（ポスター・デモ）
VPython	2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ)
W
Warren Abstract Machine	仮想マシン方式PEGパーサにおけるWAMライクな最適化アプローチ（ポスター）
Weakest precondition	[C2] Weakest Preconditions in Fibrations
Web system	Mizar数学ライブラリをホスティングするWebプラットフォーム（ポスター・デモ）
π
π計算	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター）
ご
ごみ集め	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
エ
エフェクトシステム	Koka言語に対するエフェクト割り当て最適化（ポスター） Effekt言語の双方向エフェクトによる拡張（ポスター・デモ）
エフェクト強制	代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター)
エンテイルメント判定問題	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
エージェント	階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター）
オ
オートマトン	[C1] 正則言語で極限的に近似可能な言語について
オートマトン学習	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
ク
クラスタリング	[C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発
グ
グラフニューラルネットワーク	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）
グラフパターンマッチング	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター）
グラフレイアウト	ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ）
グラフ書き換え言語	HyperLMNtal を用いた G-Machine の実装（ポスター）
グラフ簡約	HyperLMNtal を用いた G-Machine の実装（ポスター）
ゲ
ゲームAI	[C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発
コ
コントロールフローグラフ	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）
コンパクション	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
コード最適化	スカラ置換に基づく分岐発散の低減（ポスター）
ス
スカラ置換	スカラ置換に基づく分岐発散の低減（ポスター）
ステッパ	OCamlステッパの改良（ポスター・デモ）
ステートレスモデル検査	混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
ソ
ソースコード翻訳	NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
タ
タスク並列言語	out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター）
テ
テキスト型言語	[C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
テスト	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
デ
デザインレシピ	デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ）
データ並列スケルトン	Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ)
データ構造	ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ）
データ構造可視化	汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）
ハ
ハッシュテーブル	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
バ
バランス二分木（Braun木）	定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ）
パ
パッケージマネージャ	[C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察
パーサ開発支援	文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ）
ビ
ビザンチン将軍問題	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定
ブ
ブロックチェーン	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
ブロック型言語	[C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
プ
プレイスタイル	[C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発
プログラミングコンテスト	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
プログラミング学習補助	[C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
プログラミング教育	デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ） [C1] OCaml初学者の学習調査
プログラミング環境	デザインレシピに基づいたプログラミングための開発環境の構築に向けて（ポスター・デモ） [C1] ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境
プログラミング言語	Effekt言語の双方向エフェクトによる拡張（ポスター・デモ） ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ）
プログラム変換	[C1] control / prompt の仮想機械導出
プログラム抽出	[C2] Intuitionistic Fixed Point Logic
ペ
ページベース分散共有メモリ	MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター）
ホ
ホモトピー型理論	ホモロジーの推論のための Martin-L ̈of 型理論（ポスター）
ホモロジー	ホモロジーの推論のための Martin-L ̈of 型理論（ポスター）
マ
マクロ木変換器	高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
メ
メタ JIT コンパイラフレームワーク	汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター）
メタプログラミング	MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ）
モ
モジュール	OCamlステッパの改良（ポスター・デモ）
モデル検査	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
モデル検査法	モデル検査法による交通輸送システムの近似スケジューリング(ポスター)
モナド的プログラミング	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
ユ
ユースケース	[C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察
ラ
ライフゲーム	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
ライブプログラミング環境	汎言語的ライブプログラミング環境のためのデータ構造解析手法（ポスター） ライブデータ構造プログラミングの大規模データ利用のための改善（ポスター・デモ）
ラーニングアナリティクス	[C1] OCaml初学者の学習調査
ロ
ロボット制御	MetaOCamlによる自律型ロボットのためのCコード生成（ポスター・デモ）
並
並列言語	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）
並列言語処理系	移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター）
並行計算	ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ）
並行／並列システム	関数型言語ElixirのIoTシステム開発への展開
交
交通輸送システム	モデル検査法による交通輸送システムの近似スケジューリング(ポスター)
代
代数的エフェクト	Koka言語に対するエフェクト割り当て最適化（ポスター） 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター) Effekt言語の双方向エフェクトによる拡張（ポスター・デモ）
仮
仮想機械	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター） [C1] control / prompt の仮想機械導出
例
例示プログラミング	文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ）
依
依存型	Agda による対位法の形式化（ポスター・デモ）
依存関係	[C1] ユースケースに合ったパッケージマネージャ開発の支援を目指したパッケージマネージャの依存関係解決方式に関する考察
停
停止性	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター）
健
健全性	代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明(ポスター)
再
再帰的データ構造	プログラムの自動検証のための引数付き再帰篩型（ポスター）
分
分岐発散	スカラ置換に基づく分岐発散の低減（ポスター）
分散システム	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定
分離論理	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
初
初学者プログラミング	[C1] OCaml初学者の学習調査
制
制約論理プログラミング	階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター）
動
動的型付け	Ruby 3の新機能としての静的型検査の開発
半
半自動証明	HFL(N) の循環証明の半自動的構成（ポスター）
双
双方向性代数的エフェクト	Effekt言語の双方向エフェクトによる拡張（ポスター・デモ）
可
可逆計算	ブロック構造を持つ並列プログラムに対する可逆実行環境（ポスター・デモ）
圏
圏論	ホモロジーの推論のための Martin-L ̈of 型理論（ポスター）
型
型主導コンパイル	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
型推論	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
多
多相レコード	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
定
定理証明支援機Coq	定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ）
定理証明支援系	Agda による対位法の形式化（ポスター・デモ）
実
実現可能性解釈	[C2] Intuitionistic Fixed Point Logic
実行スタック	移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター）
弱
弱いメモリモデル	混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
形
形式検証	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
形式言語理論	高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
循
循環証明	HFL(N) の循環証明の半自動的構成（ポスター）
性
性能解析	MPI-3 RMA上のページベース分散共有メモリの性能解析（ポスター）
性能評価	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター） 移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター）
投
投機的コード移動	スカラ置換に基づく分岐発散の低減（ポスター）
投機的計算	階層的制約を用いたマルチエージェントシステムの投機的処理（ポスター）
文
文脈自由文法	分離論理におけるエンテイルメント判定問題の決定不能性（ポスター）
文脈自由言語	[C1] 正則言語で極限的に近似可能な言語について
時
時相論理	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
普
普遍代数	[C1] 正則言語で極限的に近似可能な言語について
暗
暗号通貨	暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）
束
束縛変数	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
構
構文解析器	文法の規則集の編集によるプログラム例からの文法の生成とその実装（ポスター・デモ）
機
機械翻訳	NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
正
正17角形の作図	2次元図形作図ライブラリ draw2d による正17角形の作図 (ポスター・デモ)
深
深層学習	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ） NMTを用いたPythonと日本語間の双方向翻訳（ポスター）
混
混合サイズアクセス	混合サイズアクセスのある並行Cプログラム向けモデル検査器（ポスター・デモ）
測
測度論	[C1] 正則言語で極限的に近似可能な言語について
物
物理情報システム	物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化（ポスター）
画
画像処理	Pelemay, PelemayFp, excv: Elixir向けデータ並列スケルトン・画像処理ライブラリの試作 (ポスター・デモ)
相
相互運用	レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法(ポスター)
移
移植性	移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価（ポスター）
等
等価性検証	SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ）
篩
篩型	逐次プログラムの停止性への篩型を用いた帰着によるπ計算の停止性解析（ポスター） プログラムの自動検証のための引数付き再帰篩型（ポスター）
精
精度保証実数計算	[C2] Intuitionistic Fixed Point Logic
組
組み込みシステム	[C1] オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
自
自動検証	プログラムの自動検証のための引数付き再帰篩型（ポスター）
行
行列積	out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター）
言
言語処理系	HyperLMNtal を用いた G-Machine の実装（ポスター）
計
計算省略	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）
計算量のオーダー	定理証明支援器Coqを用いた計算量の証明の改良（ポスター・デモ）
証
証明論	[C2] Intuitionistic Fixed Point Logic
試
試験プロトコル	[C1] パブリックブロックチェーンを用いたプログラマブルな正答集合を扱える試験プロトコル
認
認識論理	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定
負
負荷分散	UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価（ポスター）
近
近似スケジューリング	モデル検査法による交通輸送システムの近似スケジューリング(ポスター)
逆
逆コンパイル	制御フローグラフに対する深層学習を用いた逆コンパイルの精度改善（ポスター・デモ）
遅
遅延評価	HyperLMNtal を用いた G-Machine の実装（ポスター）
遺
遺伝的アルゴリズム	[C1] NEATとクラスタリングを用いたゲームにおけるプレイスタイルの創発
配
配列言語	配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
関
関数型言語	OCamlステッパの改良（ポスター・デモ） 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）
関数型言語Elixir	関数型言語ElixirのIoTシステム開発への展開
限
限定継続	control/promptのためのCPS変換とその正当性（ポスター）
限定継続演算子	[C1] control / prompt の仮想機械導出
障
障害検出	[C1] ビザンチン将軍問題における知識の分析に基づく故障の特定
静
静的型検査	Ruby 3の新機能としての静的型検査の開発
非
非同期I/O	out-of-core行列積とタスク並列言語Tascellによる並列化の評価（ポスター）
非連結グラフ	グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法（ポスター）
非関数化	[C1] control / prompt の仮想機械導出
音
音楽理論	Agda による対位法の形式化（ポスター・デモ）
高
高階単一化	高階パターン単一化のUnboundライブラリを用いたHaskellによる実装（ポスター・デモ）
高階木変換器	高階木変換器に基づくマクロ木変換器の融合手法の一般化に向けて（ポスター）
高階関数	SMTソルバーを利用した算術式を含む高階関数の等価性検証手法（ポスター・デモ）

Disclaimer | Powered by EasyChair Smart Program