コアゲブラ論理フレームワーコアゲブラ論理フレームワークが公開されたル化する新しいアプローチ。コアルジェブラを通じて動的システムをモデ計算機科学における論理コアルジェブラ的固定点論理：統一アプローチコアグラフ、モーダル論理、固定点論理をつなぐフレームワークを探求中。2025-08-15T07:14:18+00:00 ― 1 分で読む
無限の言葉とオートマタが明無限の言葉とオートマタが明らかにされたげよう。オメガオートマトンと言語認識を深く掘り下形式言語とオートマトン理論無限語とオートマタ理論の分析オメガオートマトンとその言語研究における役割についての考察。2025-07-10T03:17:30+00:00 ― 1 分で読む