人気の記事一覧

🎵ミニマリストのためのコンピュータ言語Bracmat入門#5 アトム(atom)のこと 非線形パターンマッチングの謎とは? 未来のチート言語

スターフリー言語 Marcel-Paul Schützenbergerはスターフリー言語を非周期的な構文モノイドを持つ言語として特徴付けた CTLとLTLの違い