Author | Lightnews

akiradeveloper

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

Posts Media Videos Starter Packs

Pinned

akiradeveloper @akiradeveloper.bsky.social · Jul 18

チャッピーはなんでも知ってる。自己愛性人格障害者はやばい。
chatgpt.com/share/6879cd...
chatgpt.com/share/6879cc...

ChatGPT - 誹謗中傷と自己愛性人格障害

Shared via ChatGPT

akiradeveloper @akiradeveloper.bsky.social · 4m

最難関ハンタールシファーはLeanをやれ。

akiradeveloper @akiradeveloper.bsky.social · 4m

ルシファーもLeanすればいいのに。
絶対に気に入るって。

akiradeveloper @akiradeveloper.bsky.social · 4m

最難関だ。

akiradeveloper @akiradeveloper.bsky.social · 5m

自分で書いてみた。

akiradeveloper @akiradeveloper.bsky.social · 14m

これがフレームワーク

akiradeveloper @akiradeveloper.bsky.social · 16m

答え見た。なるほど。

１）P iff not Pを仮定
２）仮定を利用するとPとnot Pが示せる
３）矛盾

という流れか。

最後は矛盾に落とすしかないということはわかっていたが、
仮定からPとnot Pを示せるなんて・・・。気づかないって🥺

akiradeveloper @akiradeveloper.bsky.social · 29m

これって定義なんだよなぁ。
だからもっと小さい道具で証明せよということなんだろうが、
その道具は何？

akiradeveloper @akiradeveloper.bsky.social · 30m

これどうすんのかな。

P iff not Pを仮定する。
これが間違ってることを示す。

という方針に思うけど、
でもこれって、そもそもの命題では・・・。

シンプルすぎてよくわからなくなるパティーンだ。

akiradeveloper @akiradeveloper.bsky.social · 34m

自明すぎて循環論法になってしまう。
どうすればいいんだー。

akiradeveloper @akiradeveloper.bsky.social · 35m

まじわからん。自明すぎる。

akiradeveloper @akiradeveloper.bsky.social · 39m

当たり前すぎて示せない🥺
これどうすんだ。

akiradeveloper @akiradeveloper.bsky.social · 1h

Leanするか。楽しみだ

akiradeveloper @akiradeveloper.bsky.social · 1h

高専専攻科卒底辺エンジニアもAIにギュられる運命だ。知的障害者である上に何の努力もしてないんだから当然である。彼らは公害だ

akiradeveloper @akiradeveloper.bsky.social · 1h

よしよし

akiradeveloper @akiradeveloper.bsky.social · 1h

池沼文系は死んでるね。

Leanをやりなさい。

youtu.be/8Z3f7WTi5Sg?...

三菱ケミカル4000人事務職リストラ…ブルーカラーとホワイトカラーの逆転現象に関する口コミを20件紹介します

YouTube video by 社畜ジャパン【会社・働き方・業界の口コミ】

akiradeveloper @akiradeveloper.bsky.social · 2h

おれは右下にジルコニア入ってる。いいよねー

Reposted by akiradeveloper

まがみ @magami830.bsky.social · 7h

日記です

akiradeveloper @akiradeveloper.bsky.social · 2h

さて。

akiradeveloper @akiradeveloper.bsky.social · 2h

ガイジの朝

akiradeveloper @akiradeveloper.bsky.social · 11h

ハスケルプログラマになることが大学生のときの目標だったけど、結局無能故に仕事は得られなかったからな。天才しかハスケルプログラマにはなれないから

akiradeveloper @akiradeveloper.bsky.social · 11h

Leanはまだまだ学ぶことが山ほどある。この言語で関数型言語に習熟したい

akiradeveloper @akiradeveloper.bsky.social · 11h

今日は
ハードにスクワットして
Leanの証明を進めた

やはりLeanはいいなぁ

akiradeveloper @akiradeveloper.bsky.social · 11h

ベッディン

akiradeveloper @akiradeveloper.bsky.social · 12h

Lean4をしてください。

akiradeveloper @akiradeveloper.bsky.social · 13h

こんなゴミみたいなことする人間は、
ファされるに決まってます。