口頭発表
-
Takahito Aoto,
Confluence of join CTRSs: revisited,
第59回 TRS ミーティング, 島根, 2023年9月27日〜29日. -
笠鳥謙太, 青戸等人,
方向付け不能なホーン節に対する書き換え帰納法,
第146回プログラミング研究発表会, 東京工業大学およびオンラインのハイブリッド開催, 2023-3-(3), 2023年10月31日〜11月1日. -
櫻井爽一, 青戸等人,
項書き換えシステムにおける生成性と局所十分完全性について,
第146回プログラミング研究発表会, 東京工業大学およびオンラインのハイブリッド開催, 2023-3-(2), 2023年10月31日〜11月1日. -
井出政宏, 青戸等人,
論理制約付き項書き換えシステムにおける末尾再帰変換の正当性証明と実装,
日本ソフトウェア科学会第40回大会, ポスター・デモ, 3-P-S, 2023. -
東幸輝, 青戸等人,
条件付き項書き換えシステムの危険対条件に基づく合流性検証,
日本ソフトウェア科学会第40回大会, ポスター・デモ, 4-P-S, 2023. -
高畑 幹汰, 青戸 等人,
左線形論理制約付き項書き換えシステムの合流性条件,
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), ポスター・デモ, 2023. -
嶋貫 凌, 青戸 等人,
帰納的定理に対する無限の導出木を持つ証明体系の提案と健全性の証明,
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), ポスター・デモ, 2023. -
中村 翔平, 青戸 等人,
論理制約付き項書き換えシステムに対する重み付き経路順序の提案,
第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), ポスター・デモ, 2023. -
Takahito Aoto,
Decidability of commutative rewrite steps in rational term rewriting,
第58回 TRS ミーティング, 新潟, 2023年2月20日〜22日. -
Shun Zhao,
Undecidability of uniqueness of normal forms with respect to reductions for flat and right-linear TRSs,
第58回 TRS ミーティング, 新潟, 2023年2月20日〜22日. -
長橋謙, 青戸等人,
合流性に基づく交差式条件付き項書き換えシステムのアンラベリング変換の健全性条件,
第142回プログラミング研究発表会, 広島(ハイブリッド開催), 2022-4-(7), 2023年1月12日〜13日. -
渡邉廉, 青戸等人,
永続性を利用した項書き換えシステムの一意正規形性の検証,
第141回プログラミング研究発表会, 東京(ハイブリッド開催), 2022-3-(4), 2022年10月27日〜28日. -
冨田也斗, 青戸等人,
関数型プログラムから論理制約付き条件付き項書き換えシステムへの変換,
第141回プログラミング研究発表会, 東京(ハイブリッド開催), 2022-3-(3), 2022年10月27日〜28日. -
Takahito Aoto,
Rewriting Induction Framework for Proving Inductive Theorems,
第57回 TRS ミーティング, 福井(ハイブリッド開催), 2022年9月27日〜9月29日. -
Takahito Aoto,
Merging Rewriting Induction and Circular Coinduction,
第56回 TRS ミーティング, 名古屋(ハイブリッド開催), 2022年2月23日〜2月25日. -
南山駿人, 青戸等人,
書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合,
第136回プログラミング研究発表会, オンライン開催, 2021-3-(9), 2021年11月1日〜11月2日. -
大野峻, 青戸等人,
交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性について,
第136回プログラミング研究発表会, オンライン開催, 2021-3-(4), 2021年11月1日〜11月2日. -
芳賀雅樹, 青戸等人,
置換に関する不動点制約を用いた名目書き換え,
第136回プログラミング研究発表会, オンライン開催, 2021-3-(3), 2021年11月1日〜11月2日. -
Takahito Aoto,
A simple derivation system for proving sufficient completeness and its variations,
第55回 TRS ミーティング, 島根(オンライン開催), 2021年9月28日〜9月30日. -
Takahito Aoto,
Confluence of join CTRSs via unraveling,
第54回 TRS ミーティング, 東京(オンライン開催), 2021年3月15日〜3月17日. -
佐藤悠稀, 青戸等人,
フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性,
第131回プログラミング研究発表会, オンライン開催, 2020-3-(8), 2020年10月29日〜30日. -
笹川葵生, 青戸等人,
外部変数のある可換式条件付き項書き換えシステムの合流性条件,
第131回プログラミング研究発表会, オンライン開催, 2020-3-(7), 2020年10月29日〜30日. -
宮前海里, 青戸等人,
圏論にもとづく正則項上の単一化の形式化,
第131回プログラミング研究発表会, オンライン開催, 2020-3-(4), 2020年10月29日〜30日. -
Takahito Aoto,
Proving uniqueness of normal forms w.r.t. reduction,
第53回 TRS ミーティング, 新潟(オンライン開催), 2020年9月24日〜2月26日. -
Takahito Aoto,
Proving sufficient completeness w.r.t. reduction of ctrss automatically,
第52回 TRS ミーティング, 加賀温泉, 2020年2月20日〜2月22日. -
Kohei Nishino,
Weighted-context-free-grammar to produce parse tree with rests and polyrhythm for auto transcription,
第52回 TRS ミーティング, 加賀温泉, 2020年2月20日〜2月22日. -
Yuki Sato,
The uniqueness of normal forms with respect to reductions for flat term rewriting systems,
第52回 TRS ミーティング, 加賀温泉, 2020年2月20日〜2月22日. -
佐藤悠稀, 青戸等人,
フラット項書き換えシステムの簡約に関する一意正規形性の決定不能性,
第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), ポスター・デモ, 2020. -
宮前海里, 青戸等人,
等式論理の余帰納的定理における圏論の応用,
第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020), ポスター・デモ, 2020. -
Takahito Aoto,
Level-confluence of left-linear overlapping CTRSs,
第51回 TRS ミーティング, 層雲峡, 2019年9月25日〜9月27日. -
Mamoru Ishizuka,
Commutative rewrite steps in rational term rewriting,
第51回 TRS ミーティング, 層雲峡, 2019年9月25日〜9月27日. -
東和田直輝, 青戸等人,
条件付き項書き換えシステムの十分完全性の自動証明,
第124回プログラミング研究発表会, 名古屋大学, 2019-1-(4), 2019年6月6日〜6月7日. -
白石智輝, 青戸等人,
項書き換えシステムにおける局所十分完全性の証明法の提案,
第124回プログラミング研究発表会, 名古屋大学, 2019-1-(5), 2019年6月6日〜6月7日. -
加賀谷有輝, 青戸等人,
条件付き項書き換えシステムの階層合流性証明法,
第124回プログラミング研究発表会, 名古屋大学, 2019-1-(6), 2019年6月6日〜6月7日. -
Takahito Aoto,
Ordered rewriting for confluence proofs,
第50回 TRS ミーティング, 熱海, 2019年2月27日〜3月2日. -
Kohei Nishino,
Weighted path relation for S-expression rewriting system,
第50回 TRS ミーティング, 熱海, 2019年2月27日〜3月2日. -
Takahito Aoto,
Proving local sufficient completeness,
第49回 TRS ミーティング, 伊香保, 2018年9月25日〜27日. -
Yuta Kimura,
Formalizing rewriting induction in Isabelle/HOL,
第49回 TRS ミーティング, 伊香保, 2018年9月25日〜27日. -
Hiroto Kato,
Lemma generation methods for inductive theorem proving,
第49回 TRS ミーティング, 伊香保, 2018年9月25日〜27日. -
Hiromu Niiyama,
Automatic verification of unique normalizability of term rewriting system,
第49回 TRS ミーティング, 伊香保, 2018年9月25日〜27日. -
Taichi Kurita,
Automated proofs of horn-clause inductive theorems for CTRS,
第49回 TRS ミーティング, 伊香保, 2018年9月25日〜27日. -
山口真央生, 青戸等人,
シャロー項書換えシステムに対するUN性の効率的な決定手続き,
第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018), ポスター・デモ, 2018. -
Takahito Aoto,
Proving unique normal forms w.r.t. conversion of term rewriting systems automatically,
第48回 TRS ミーティング, 秋保, 2018年2月25日〜27日. -
Hiroto Kato,
Lemma generation methods for inductive theorem proving,
第48回 TRS ミーティング, 秋保, 2018年2月25日〜27日. -
Takahito Aoto,
Rewriting induction for conditional theories and conditional equations,
第47回 TRS ミーティング, 松江, 2017年9月25日〜27日. -
Takahito Aoto,
Improvements in ground confluence proving based on rewriting induction,
第46回 TRS ミーティング, 篠島, 2017年2月27日〜3月1日. -
Takahito Aoto,
Semantics and completeness proof of general inductive theorems,
4th Austria-Japan Summar Workshop on Term Rewriting, Obergurgle, Austria, September 2016.