akiradeveloper
LightNews LightNews
banner
akiradeveloper.bsky.social
akiradeveloper
@akiradeveloper.bsky.social
32 followers 1 following 7.5K posts
ネット誹謗中傷のプロフェッショナル 公立小→麻布→京大→日立→反ワク→？ IQ180 天才プログラマ兼ギャンブラー兼パワーリフター 写真は中学受験時のもの。 麻布・栄光・浅野全勝 '97 Github: https://github.com/akiradeveloper Blog: https://akiradeveloper.com YouTube: https://youtube.com/GodAimAkira
github.com
Posts Media Videos Starter Packs
Pinned
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · Jul 18
チャッピーはなんでも知ってる。自己愛性人格障害者はやばい。
chatgpt.com/share/6879cd...
chatgpt.com/share/6879cc...
ChatGPT - 誹謗中傷と自己愛性人格障害
Shared via ChatGPT
chatgpt.com
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 1h
ハスケルプログラマになることが大学生のときの目標だったけど、結局無能故に仕事は得られなかったからな。天才しかハスケルプログラマにはなれないから
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 1h
Leanはまだまだ学ぶことが山ほどある。この言語で関数型言語に習熟したい
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 1h
今日は
ハードにスクワットして
Leanの証明を進めた

やはりLeanはいいなぁ
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 1h
ベッディン
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
Lean4をしてください。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
こんなゴミみたいなことする人間は、
ファされるに決まってます。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
Leanで数学をやらない人間は、ゴミだ。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
逆も示した。寝る。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
やはりLeanは頭の体操としては面白い。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
あぁ違うな。おれ左しか証明してない。
これよく見るとiffだ。
文字が細かくて見間違った。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
模範回答はこれのようだ。どういう意味なんだ？
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 3h
なんか模範回答よりエレガントに書いてしまった気がする🥺
1
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
証明としては正しいが、こんな書き方していいのか？
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
対称性より、QがTrue/False両方調べて終わり
ということなんだけど、
どうやって書くんだ？
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
次はド・モルガンの法則
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
これで一歩、テレンスタオに近づいたか。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
パズルやな。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
うおおおおおおお証明出来たああああああ
場合わけすればよかった。
1
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
もしQでないとすると、
仮定が死ぬ
と背理法で示せるか。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
不明だ。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
h1,h2は仮定
Pであるからnot Pではなく、
Qであるに決まってるからゴール
という道筋なのだが、
どう書くんだ？
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
この女の子も、イミンにファされるんだろうなぁ。ひっひっひっ

youtube.com/shorts/VsVLU...
Child PRODIGY SISTERS play Vivaldi Winter with me on the violin in Rome Airport! 🎻😍
YouTube video by Julien Cohen
youtube.com
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 4h
くにおくんって、一体誰なんだ。
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 6h
セキロが終わったら、コードベインとかいうヌルゲーをやる。疲れた
akiradeveloper.bsky.social
akiradeveloper @akiradeveloper.bsky.social · 6h
一心は全部ジャスガすれば勝てる。
怨嗟は、獅子猿に近い。おれは獅子猿はかなり苦戦した。