logic_joa's profile picture. 数学基礎論に興味のある高校教員です。完全性定理を今勉強しています。

大学院で数学基礎論を研究する高校教員J

@logic_joa

数学基礎論に興味のある高校教員です。完全性定理を今勉強しています。

고정된 트윗

「本質的に〜」みたいな事を不注意に呟いていましたら、それは「私にとって大切に思える」とか「ここ最近初めて気づいたこと」とかをはしゃいで言っていると言う様に生暖かく見守ってください。


ようやく1本目の歪モノイド圏の論文が公開されました。気になる点がございましたらメッセージでご指摘いただければと思います。

Joaquim Reizi Higuchi: The Strict 2-Category Structure of Distorted Monoidal Categories arxiv.org/abs/2511.17544 arxiv.org/pdf/2511.17544 arxiv.org/html/2511.17544



大学院で数学基礎論を研究する高校教員J 님이 재게시함

Joaquim Reizi Higuchi: The Strict 2-Category Structure of Distorted Monoidal Categories arxiv.org/abs/2511.17544 arxiv.org/pdf/2511.17544 arxiv.org/html/2511.17544


Gemini3にLean4のコードを書かせたらかなり精度良く出力できるのが凄い。 ただ数学の問題を解く能力や検査する能力は思ったほど高くない。 まだGPT5-Proの優位性は高い。


LaTeXの修正作業をクロードにさせようと思ったけど出来やんから寝よ


Cloudflareがダメなのにスマホアプリが使えるのはなんでなんやろか🧐


大学院で数学基礎論を研究する高校教員J 님이 재게시함

【影響拡大】Cloudflareで大規模障害 多数のサイトが同時不具合 tittiby.jp/2025/11/18/202…


大学院で数学基礎論を研究する高校教員J 님이 재게시함

18日23時15分時点での障害発生サービス ・X(Twitter) ・Cloudflare ・League of Legends ・Valorant ・AWS ・Google ・Open AI ・NTT西日本 ・NTT東日本 ・Discord ・Steam ・Au by KDDI ・Google Gemini ・LINE ・IKEA ・Youtube ・Instagram ・NTT docomo ・Claude AI ・Among Us ・SoftBank

現在障害が発生しているウェブサービス ・X(Twitter) ・League of Legends ・Cloudflare ・Amazon Web Services ・Valorant ・NTT東日本 ・Splunk ・OpenAI ・Au by KDDI ・YouTube ・NTT Docomo ・Google ・Yahoo ・Spotify ・LINE ・Jcom ・Discord ・Steam ・Feedly ・VRChat ・Instagram ・AO3



VPNで解決できないかなと浅はかな事を考えてしまった


SoftBank光の回線から一部のサーバーへのアクセスがブロックされてる感じかな🧐 AI系がGemini以外みんなダメになってる。 Twitterもダメみたい。 SoftBankの電話回線からだと全部繋がるけどPCが全部ダメ


もう既に5.1がゴミになってる。 命が短い…


やっぱり5.1の生成能力が落ちてきた。


GPTに可換図式を作らせるとクソみたいなものしか生成しないから辛い。 そこが1番できてほしいのに…


AIの新しいモデルが出た始めは感動するけど、3日もしないうちに汚染されて使えなくなる。 結局偏差値50に近い人間様にカスタマイズされてしまうのが定め。


LaTeXのコードを書かせるならクロードがやっぱりええな。 PDFまで出力してくれるし、エラーがあってコンパイル出来ないことがない様に自分で試して修正するし。 GeminiやGPTではここまで出来やんでない。


GPT-5Proって単独マシンでの処理が出来なかったりするとき、他のリクエスト中のマシンにの演算を挟み込んでない? 時々関係のない推論を挟むけど、それって他の人の処理を肩代わりして行っている疑惑が自分の中であるんやけど…


今更ながらなんですが、射において終域を主語にとる方が解釈として妥当だという理解に至りました。 ありがとうございました。


GPT5能力が落ちたのかどうか分からないのですが、簡単な圏論的な議論を相当数間違えるんですよね。 特に圏の解釈(定義)を途中で変える癖があるんですよね。 しかもうまくいく様に誤魔化して変えるのではなくて、わざわざうまくいかない圏に置き換えるんです。 出来の悪い初期の4oみたい…


United States 트렌드

Loading...

Something went wrong.


Something went wrong.