20代

現在地 180

日付変わって、昨日の執筆記録を書いておこう最近にしては、最も筆の進まない日ではあった言い訳すれば、教材作成に時間がかかったある状況を文章化しようと考えたら気が付いたらうたた寝してたなどの理由はあるが、と言うか中々思っている事を文章化し難い箇所に遭遇した段々と論点を明言化してきたのだが、やはり泳いでる時に思いついたアイデア、これで出来るぞ！をいざ文章にしようと思うと、きちんと定式化していかないといけない事が多々ある事に気がつくと言うパターンではある、端的に言ってしまえば、今行おうとしてる操作がfunctorialである、という事を正確に言うべきなのであるが、そのfunctorialである、と言う意味が単純な1-functorial ではないので、きちんとステートしないといけないまた、なんらかの意味で完備だと言う性質も使うのだが、その完備性と言うのも理に適ってるのかきちんと定式化して、現在の状況がそれをカバーしてる事をチェックしなければいけないと言う様に論点を何が検証すべき事か？と言う形にまで定式化する所までは進んだこれは、地道に、基礎付けみたいな事をしてる作業を一旦飛ばして、定理 6 の証明に突入した事により、基礎付けをきちんとしていなかったせいでもあるまぁでも、そうやって論点が明確になったので、それを検証していけばよい、それはうまく定義が機能していれば、一つ一つのステップはルーチンと化し、定式化が曖昧ならば何処かが破綻してる事が分かるので、そして、それに気が付いたら大体適切に定式化し直せばよい、それに関して、必要な条件が生じたら仮定に付け足していけば、少なくても然るべき条件下で、定理 6 が示せる事になるこれが日付変わって今日からの目標である

100％じゃつまらない

花組 蒼月抄

∞ロシアンにっき∞

５月２４日（日）第７６回瀬戸市民スポーツ大会総合開会式の開催について（案内）

第７６回瀬戸市民スポーツ大会フルコンタクト空手道競技参加の皆様へ第７６回瀬戸市民スポーツ大会総合開会式が 令和８年５月２４日（日）に開催されます。大会参加選手で都合のつく方は総合開会式にご出席いただきますようよろしくお願い申し上げます。選手は空手衣を着用してください。（他競技団体といっしょに開催されます）※フルコンタクト空手道競技試合は６月２０日（土）に開催されます。主催者申し込み締め切り５月２３日（金）松田道場提出は５月２１日（水）までにお願いします。令和８年５月２４日（日）午前８時２０分開式選手役員集合　午前８時１５分※選手宣誓者、旗手及びプラカード担当者 午前８時００分（第１競技場舞台前へ集合）会場：瀬戸市体育館第１競技場閉式時刻：午前８時５５分頃を予定。※当日、臨時駐車場を開放しておりますので、そちらをご利用ください。以上よろしくお願いいたします。

極真会館 尾張名古屋松田道場