新しいものを表示

不完全性定理を研究したいという要求のどこに複素数と微積分と制御工学が必要になるのか真剣に考えて欲しい

なにかの記事で「数学基礎論希望の院試受験者の成績が著しく悪すぎて、議論に」というのを読んだが、それにこれからなる

人間はシャキっとすると疲れる。そのあまりに当然の事実を忘れて計画を立てた結果として大変困難な事態に陥っている。

明日はcoq-community/goedel及びRussel O'Connor; "Essential Incompleteness of Arithmetic Verified by Coq"を読みLean4に移植可能かどうかを見てみたい

github.com/coq-community/goede

どうにかかろうじてマトモな見かけにはしたが、まだ不自然に縦長になってしまっている感はある

スレッドを表示

TypstのBibliographyが本当に意味不明の挙動をするっぽいのでこの一点のみで現状オフィシャルな場では使えないと思う

一応``はあるがオンラインエディターもあるということを加味するとそもそも複数ファイル分割を想定しているのか謎な気がする(`template.typ`を作るのは定石ではあるっぽいが)

スレッドを表示

Typstは快適なのだけどファイル分割の方法がよくわからない(どう頑張ってもbibliographyの部分で詰まる)ので全部1ファイルに纏めるしか無いと思うがこれをやるとpdfのプレビューがかなりボトルネックになってしまう

Typstの文書をGitHub Actionsでコンパイルして自動でGitHub Pagesにデプロイするアクションも組んだので,いつでも最新版を読むことが出来ます

sno2wman.github.io/incompleten

スレッドを表示
古いものを表示
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。