self-containedな文章を書こうとすると一番伝えたい本題がどんどんと後ろに追いやられてしまう現象に直面している

Muller-Schuppの定理のpdf,texファイルを分割することを覚えたのでタイプセットの処理が多少軽くなった

pdfを5ページ書き進めたので進捗ヨシ

HatcherのAlgebraic TopologyのChapter 1までを斜め読みしてわかった気分になるなどした

HatcherのAlgebraic Topologyを眺めてみたら思ってたより色々なこと書いてあってびっくり

「Muller-Schuppの定理」のpdf (第I部のみ)を公開しました!
iso.2022.jp/math/muller-schupp
Muller-Schuppの定理は「群Gの語の問題が文脈自由言語であることと,Gが実質的自由群であることは同値」という主張で,第I部では形式言語理論を解説しています.第II部以降は書き上がり次第随時公開する予定です.

Muller-Schuppの定理のpdf,ひとまず書き換え系と形式言語理論についての前提知識をまとめた第I部(38ページ)が書き上がったので,見直して問題がなければ今夜あたりに上げようかなと思っています

早めに本編を完成させて公開してからちょっとずつAppendixを更新するのが正解っぽい

Show thread

形式言語理論について盛り込みたい内容を箇条書きにしてみたらそれだけで一本pdfが書けそうな分量になったので分離した方がいいのかもしれない(まあ出版するわけでもないし数十ページの本編+数百ページのAppendixでもいい説はある)

Show thread

決定性文脈自由言語も含めて全部Appendixにまわすのがよさそう

Show thread

Muller-Schuppの定理のpdfにone-counter languageのことも書きたくなってきたが,これ以上内容を増やすと永遠に完成しないので適切に取捨選択をしないといけない

大部分は決定性文脈自由言語のせい

Show thread

Muller-Schuppの定理の解説pdf,既に前提知識パート(書き換え系+形式言語理論)だけで40ページ書いていて,いまだに本題に入れていないので今年中に完成するか怪しくなってきた(第一部が書けたらとりあえず公開する気ではいる)

決定性プッシュダウンオートマトンまわりのおあれこれ,思っていた以上にめちゃくちゃ煩雑でめんどくさい……普通の非決定性PDAよりも考慮しないといけないことが多くて大変.

WSLのシェルをbashからfishに変えてみた.補完が利くだけでもだいぶ作業がしやすい

ひたすら自由群の性質をまとめた辞書みたいな本がほしい.既に誰か書いてたりしないかな

すうがく徒のつどい@オンライン,そろそろ何を話すかを決めないと.有限生成無限単純群の構成でもしようかな(難易度感がこれでいいのかわからないけど)

空文字列を表すのにλを使うことがあるのはなんでだろうと思っていたけど,どうやらドイツ語のleerから来ているらしい: cs.stackexchange.com/questions

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.