2022.08.31
https://pbs.twimg.com/media/FbXBhKEXEAAgweL?format=jpg&name=large#.jpg
【#コズミックフロントΩ 】
9月6日（火）よる10:45〜［Eテレ］
素粒子のヒミツに迫るため
【物質】役
思った
https://gyazo.com/2db77cb0b75e68f0fc627602ad5781dd
他人事とは思えん名前だ
思った
思っただけで，多分やることはないだろう
おれが雪の名を冠するパッケージマネージャ（Nixのことです、ラテン語で雪を意味する）に心奪われちゃってるの6年をかけた伏線回収らしくていい おれもおまえも遅かれ早かれジジイになる
そもそも冪集合においての不動点の定義が意味不明すぎる 職への斡旋という程ではないが、「知り合いにこういうスキルを持った人が居り、こういう活動に従事したい、と思っているそうですリスト」をGitHubで管理し、自分のWebサイトで適当に整えて見せるというのは面白そうなので、そのうちやりたい（PRを送れば追加したり、消したりすることも可能）
読んだ
ｷﾀ―――(ﾟ∀ﾟ)―――― !!
観た
https://www.youtube.com/watch?v=wGJcnJNdrPs
メモ
文字列$ L、文字$ cが$ \mathsf{A}である$ A(c)とすると
1): $ \forall c \in L. \lnot A(c): 4
2): $ \lnot (\forall c \in L. A(c)): 2,3,4
いいね
https://www.youtube.com/watch?v=3IP55vDWJz8
後で読む