1 Coq/SSReflect/MathCompを用いたVASSからVASへの変換の形式化 C3 学生発表 ポスター・デモ脇坂 勝大1, 山本 光晴11千葉大学
2 型注釈のないRubyプログラムのデータフロー解析に基づいたIDE支援 C3 ポスター・デモ遠藤 侑介11STORES 株式会社
3 項書換系の完備化を用いたCoqの等式証明プラグイン C3 学生発表 ポスター・デモ矢島 創一1, 池渕 未来11京都大学
4 heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装 C3 学生発表 ポスター・デモ杉森 唯瑠未1, 宋 剛秀2, 田村 直之3, 井上 克巳4, 鍋島 英知5, 番原 睦則61名古屋大学 情報学部 2神戸大学 DX・情報統括本部 3神戸大学 4国立情報学研究所 情報学プリンシプル研究系 5山梨大学 大学院総合研究部工学域 6名古屋大学 大学院情報学研究科
5 双方向変換言語におけるpin演算子の有用性の確認 C3 学生発表 ポスター・デモ渡邉 進太郎1, 松田 一孝21東北大学工学部電気情報物理工学科 2東北大学大学院情報科学研究科
6 現在存在しないプログラミング言語向け大規模言語モデルの開発に向けた予備実験 C3 学生発表 ポスター・デモ大渕 雄生1, 千葉 滋11東京大学 大学院 情報理工学系研究科 創造情報学
7 Rust言語におけるトレイト境界の曖昧性を解消するための新たなトレイト境界の構文の提案 C3 学生発表 ポスター・デモ岡本 祐希1, 篠埜 功11芝浦工業大学
8 代数的エフェクトにおけるエフェクトのperformを可視化するシステムの開発 C3 学生発表 ポスター・デモ山﨑 陽介1, 川端 英之1, 弘中 哲夫11広島市立大学大学院
9 関数プログラムの言語要素に依存したふるまいを比較可能な学習支援ツール C3 学生発表 ポスター・デモ岡本 憲汰1, 岩崎 英哉2, 寺田 実11電気通信大学大学院情報理工学研究科 2明治大学大学院理工学研究科 情報科学専攻
10 LLMを用いたトランスパイラの正確性向上と、その評価について C3 学生発表 ポスター小山 玄1, 室屋 晃子21城北高等学校 2京都大学数理解析研究所
11 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案 C3 学生発表 ポスター糟谷 颯希1, 増原 英彦1, 青谷 知幸2, 田辺 裕大3, Luthfan Anshar Lubis 11東京工業大学 2山陽小野田市立山口東京理科大学 3京都大学
12 階層的な同期リアクティブシステムの部品化および検証手法 C3 ポスター石井 大輔11北陸先端科学技術大学院大学
13 自動検証におけるラグランジュ双対性 C3 ポスター塚田 武志1, 海野 広志21千葉大学 2筑波大学
14 大規模言語モデルにおけるコードとデータの分離可能性について C3 ポスター青島 達大11NTT社会情報研究所
15 Isabelle/HOLによるLevy-Prokhorov距離の形式化 C3 学生発表 ポスター平田 路和11東京工業大学
16 後方参照付き正規表現の言語クラスの ストリーミング文字列変換による分析 C3 学生発表 ポスター宮地 風汰1, 南出 靖彦11東京工業大学 情報理工学院 数理・計算科学系
17 最小高さ木を求める貪欲アルゴリズムのAgdaによる正当性検証 C3 学生発表 ポスター太田 悠1, 金沢 誠21法政大学院 理工学研究科 システム理工学専攻 2法政大学理工学部
18 様相μ計算のゲーム意味論と循環証明体系の関係 C3 学生発表 ポスター石井 達也1, 木村 大輔11東邦大学大学院
19 どのような文法からflat/sub-chainingのfluent interfaceを生成できるかを考える C3 学生発表 ポスター山隈 由衣1, 山崎 徹郎1, 千葉 滋11東京大学
20 限定継続演算子を持つオブジェクト指向言語の形式化 C3 学生発表 ポスター谷口 茜1, 叢 悠悠1, 増原 英彦11東京工業大学
21 二次ディオファントス方程式の決定可能性について C3 学生発表 ポスター中村 悠人1, 小川 瑞史11北陸先端科学技術大学院大学
22 バックトラックに基づく動的負荷分散の明示的スタックによる実現に向けて C3 学生発表 ポスター寺元 悠馬1, 平石 拓1, 八杉 昌宏21京都橘大学工学部情報工学科 2九州工業大学大学院情報工学研究院
23 代数的エフェクトとハンドラのためのエフェクトシステムの抽象化 C3 学生発表 ポスター吉岡 拓真1, 関山 太朗 2, 五十嵐 淳11京都大学 2国立情報学研究所
24 Rust への Fractional Ownership の動的検査の導入 C3 学生発表 ポスター・デモ馬場 風汰1, 住井 英二郎11東北大学 大学院 情報科学研究科
25 プレゼンテーションスライド作成のためのSATySFiノートブック環境 C3 学生発表 デモ両角 颯1, 佐藤 重幸2, 田浦 健次朗31東京大学工学部電子情報工学科 2電気通信大学大学院情報理工学研究科 3東京大学大学院情報理工学系研究科
26 Exploring possibility of using stack unwinding for effect handlers in C++ C3 学生発表 ポスターYuze Fu1, Tetsuro Yamazaki1, Shigeru Chiba11The University of Tokyo
27 型変換による異なる定理証明支援系間の証明の再利用 C3 学生発表 ポスター・デモ菅野 直孝1, 中野 圭介2, 浅田 和之2, 菊池 健太郎21東北大学大学院情報科学研究科 2東北大学電気通信研究所
28 UniverseJsライブラリを用いたゲームプログラミングのデバッグ環境の改善 C3 学生発表 ポスター・デモ茅根 珠来1, 浅井 健一11お茶の水女子大学
29 OCamlにおけるEmbedding by Unembedding C3 学生発表 ポスター・デモ類家 健永1, 松田 一孝21東北大学工学部電気情報物理工学科 2東北大学大学院情報科学研究科
30 OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善 C3 学生発表 ポスター・デモ柴田 真琴1, 浅井 健一11お茶の水女子大学
31 仕様記述言語PROMELAからプログラミング言語Erlangへの自動変換による並行システム開発支援環境の設計と実装 C3 学生発表 ポスター・デモ山川 眞延1, 川端 英之1, 弘中 哲夫11広島市立大学大学院情報科学研究科
32 定理証明支援系によるJavaScriptプログラムの検証基盤の開発にむけて C3 学生発表 ポスター・デモ上西 真由1, 中野 圭介2, 浅田 和之2, 菊池 健太郎2, 野木 知優11東北大学大学院情報科学研究科 2東北大学電気通信研究所
33 ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語 C3 学生発表 ポスター瀧本 哲史1, 森口 草介1, 渡部 卓雄11東京工業大学情報理工学院
34 モジュールの静的解釈に関するより網羅的かつ堅牢な正当性の証明を目指して C3 学生発表 ポスター諏訪 敬之1, 五十嵐 淳21京都大学 / 国立情報学研究所 2京都大学
35 トップダウン型自動微分をもつ圏における訓練データ逆伝播法とそれによる勾配に基づく学習 C3 学生発表 ポスター中村 卓武1, 浅田 和之2, 菊池 健太郎2, 中野 圭介21東北大学大学院情報科学研究科 2東北大学電気通信研究所
36 グラフ書き換え言語LMNtalを用いたString Diagramの実装 C3 学生発表 ポスター鄭 嘉蓉1, 田久 健人1, 上田 和紀11早稲田大学
37 演算子オーバーロードを利用したfluent APIとその型付け C3 学生発表 ポスター中道 晃平1, 中丸 智貴1, 森畑 明昌11東京大学大学院 総合文化研究科
38 後方参照で拡張された正規表現マッチングの計算量解析：限定された場合の精密な解析とKMP法によるマッチング C3 学生発表 ポスター濱田 芙実1, 南出 靖彦11東京工業大学 情報理工学院 数理・計算科学系
39 不動点演算子を持つ命題論理に対する循環証明体系のカット無し完全性 C3 学生発表 ポスター堀 弘昌1, 中澤 巧爾1, 龍田 真21名古屋大学 2国立情報学研究所
40 Pinpoint the Cause of Software Regression in JavaScript C3 学生発表 ポスターYuefeng Hu1, Hiromu Ishibe1, Tetsuro Yamazaki1, Shigeru Chiba11The University of Tokyo
41 擬似引用方式のプログラム生成によるSQLクエリコンパイラ C3 学生発表 ポスター夏井 優太1, 亀山 幸義11筑波大学
42 演算の融合による数値計算ライブラリIFNのメモリ効率の改善 C3 学生発表 ポスター齊藤 百香1, 岩崎 英哉2, 川端 英之3, 小宮 常康11電気通信大学大学院 情報理工学研究科 2明治大学 理工学部 3広島市立大学大学院 情報科学研究科
43 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換 C3 学生発表 ポスター川添 裕功1, 叢 悠悠1, 増原 英彦11東京工業大学
44 大規模言語モデルによる型エラー修正を用いたプログラム合成 C3 ポスター山口 大輔1, 松本 紘周21NTTソフトウェアイノベーションセンタ 2慶應義塾大学
45 インメモリデータベースにおけるレコード選択演算のSIMD利用による最適化 C3 学生発表 ポスター粉川 凌我1, Oleg Kiselyov11東北大学 大学院 情報科学研究科
46 項書き換え系における局所十分完全性判定手続きの順序ソートによる拡張とその実装 C3 学生発表 ポスター齋藤 佑貴1, 菊池 健太郎2, 中野 圭介2, 浅田 和之21東北大学工学部電気情報物理工学科 2東北大学電気通信研究所
47 OCaml Blockly を使った中学生向けの１次関数の学習教材 C3 ポスター・デモ大石 美緒1, 窪田 唯花1, 柴田 真琴1, 茅根 珠来1, 横関 茉衣1, 浅井 健一11お茶の水女子大学
48 マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて C3 学生発表 ポスター・デモ鈴木 豪1, 渡部 卓雄1, 森口 草介11東京工業大学情報理工学院
49 iCon: Tezos スマートコントラクト群に対する未知の存在する下での協調動作検証器 C3 ポスター・デモ西田 雄気1, 末永 幸平1, 五十嵐 淳11京都大学
50 適切な仮説検定を実現するためのOCamlモジュールStatEff C3 学生発表 ポスター・デモ小林 賢太朗1, 川本 裕輔21産業技術総合研究所、筑波大学 2産業技術総合研究所
51 ブロック型プログラミング学習環境における問題解決支援のための目的文変形・提示機能の提案 C3 学生発表 ポスター・デモ酒井 大我1, 増原 英彦1, 叢 悠悠11東京工業大学
52 A Block-Based Environment for Learning Data Modeling C3 学生発表 ポスター・デモJessica Belicia Cahyono1, Youyou Cong1, Hidehiko Masuhara11Tokyo Institute of Technology
53 Preventing Metadata Leakage in Communication over Public Channels C3 学生発表 ポスター・デモJacob Lindahl1, Hidehiko Masuhara1, Youyou Cong11Tokyo Institute of Technology
54 定理証明支援系Coqドキュメンテーションツールの改善とMathComp-Analysisへの適応 C3 ポスター・デモ今井 宜洋1, Reynald Affeldt11産業技術総合研究所
55 動的コンパイルのオフロードによる対話的で実行速度の速いマイコン向け開発環境の提案 C3 学生発表 ポスター・デモ前島 文香1, 山崎 徹郎1, 千葉 滋11東京大学
56 Coq の証明から抽出されたプログラムに対する型主導の最適化アルゴリズムとその形式化 C3 学生発表 ポスター礒田 華成1, 亀山 幸義11筑波大学
57 νHFL(Z)論理式の反証問題から関数型プログラムの安全性検査問題へのモード解析に基づく帰着 C3 学生発表 ポスター桂 宏行1, 小林 直樹1, 酒寄 健1, 佐藤 亮介11東京大学
58 グラフ書き換え言語 LMNtal による BigraphER モデルのエンコード C3 学生発表 ポスター橋本 悠汰1, 上田 和紀11早稲田大学
59 Postの対応問題に対する様々なアプローチ C3 学生発表 ポスター大森 章裕1, 南出 靖彦11東京工業大学情報理工学院
60 SRAMとフラッシュメモリの使い分けで高速化を狙うマイコン用のコード領域管理システム C3 学生発表 ポスター渡邉 純一1, 前島 文香1, 山崎 徹郎1, 千葉 滋11東京大学
61 Rust のための Refinement 型システム C3 学生発表 ポスター小川 広水1, 海野 広志11筑波大学
62 データフローセキュリティの検証のための IoT システムモデリング言語 Rabbit C3 学生発表 ポスター稲葉 皓信1, 五十嵐 淳1, 石川 裕2, 関山 太朗21京都大学情報学研究科 2国立情報学研究所
63 Towards equational reasoning for probabilistic programs in Coq C3 学生発表 ポスター斉藤 歩夢1, Reynald Affeldt21東京工業大学 2産業技術総合研究所
64 命令と呼び出しグラフによる類似コード推薦法 C3 学生発表 ポスター大野 順也1, 山田 俊行11三重大学大学院工学研究科
65 Toward Completeness of Incorrectness Separation Logic C3 学生発表 ポスターYeonseok Lee1, Koji Nakazawa11Graduate School of Informatics, Nagoya University
66 プログラマーがコード補完を中断する理由の調査 C3 学生発表 ポスター岩田 風多1, 中丸 智貴2, 森畑 明昌21東京大学教養学部 2東京大学大学院総合文化研究科
67 Term Evaluation Systems with Refinements C3 ポスター室屋 晃子1, 浜名 誠21京都大学 2群馬大学
