Y.Tsuji @monotonicmemo
memo Joined February 2019-
Tweets2K
-
Followers10
-
Following48
-
Likes976
数学のノーベル賞「アーベル賞」賞金に非課税措置…文科省、数学分野の研究振興 | #ニュースイッチ @newswitch_ newswitch.jp/p/47066
いつものマイクロソフトアカウント回避策が使えなくなった・・・(´;ω;｀) これで回避した・・・
MacでOCRするときは基本 @doraTeX さんの ocr\.sh (doratex.hatenablog.jp/entry/20230629…) を使うけど、日本語の縦書き文書ではうまくいかない。Shortcutsでやるとできる。
MacでOCRするときは基本 @doraTeX さんの ocr\.sh (doratex.hatenablog.jp/entry/20230629…) を使うけど、日本語の縦書き文書ではうまくいかない。Shortcutsでやるとできる。
いつの間にかOSIがオープンウェイトの解説ページを作ってるな。定義を作っているわけではないが、オープンソースAIと何が違うのかはここで分かる。 opensource.org/ai/open-weights
「文豪になりきって日記を書かせる」「太宰治とチャットする」「文学作品のレポートを書かせる」などの文学ファンにはたまらない機能を詰め込んだAI「Humanitext Aozora(ヒューマニテクスト青空)」が公開されたので使ってみた gigazine.net/news/20250808-…
システムデザイン面接で「Twitter（X）を設計してください」というお題は定番ですが、 本当に深く理解したいなら、X社が2014年に出したこのブログが最も価値あります blog.x.com/engineering/en… Alex…
MathJaxやKaTeXではなく独自開発ツールでSVGを生成？
Improved bypass for Windows 11 OOBE: 1. Shift-F10 2. start ms-cxh:localonly Only required on Home and Pro editions.
「国または知識はこれでよろしいですか？」の画面から「Microsoftアカウントを追加しましょう」の画面の間に「Shift」キーと「F10」キーを押す。するとコマンドプロンプトが表示されるのでアクティブにする。そして「start ms-cxh:localonly」と入力して「Enter」キーを押す。 pc.watch.impress.co.jp/docs/topic/fea…
Mathpad crowdsupply.com/summa-cogni/ma…
日本では話題になってないが、Jack Dorsey（Twitterを作った人）が週末に（vibe codingで？）作った「bitchat」というTwitterみたいなアプリ、Bluetoothのメッシュネットワークで動く bitchat.free
日本では話題になってないが、Jack Dorsey（Twitterを作った人）が週末に（vibe codingで？）作った「bitchat」というTwitterみたいなアプリ、Bluetoothのメッシュネットワークで動く bitchat.free
日本人向け最高峰のコーディングフォント「Moralerspace」がメジャーバージョンアップ／「IBM Plex」更新で日本語文字が1万以上拡充、開発者に人気の「Nerd Font… forest.watch.impress.co.jp/docs/news/2034…
まじで証明はコンパイル通るやろ このアナロジーのおかげで証明が何かわかった ありがとうプログラミング言語
任意のBanach空間はあるコンパクトHausdorff空間上の連続関数全体の空間の閉部分空間と同型になるらしい。知らなかった。
【ゆる募︰「実数」のあだ名】 最近、簡素で具体的な議論に「実数」をおいそれと使うのが怖くて、「実数(のうち性質の良い部分だけ)」を上手く表すあだ名ないかなーと。 ちなみにまっちゅーさん(@mattyuu123 )からこんな呼び方をきいた。 ・直線数 ・有理数からなるコーシー列数 ・紐の切れ目数
More precisely, the following two statements are incompatible over ZF: (1) Every subset of ℝ is Lebesgue measurable. (2) |ℝ| ≥ |ℝ/ℚ|.
More precisely, the following two statements are incompatible over ZF: (1) Every subset of ℝ is Lebesgue measurable. (2) |ℝ| ≥ |ℝ/ℚ|.
A topological space X is said to have *countable cellularity* if the size of any collection of disjoint open subsets of X is (at most) countable. Theorem: The statement "If X,Y have countable cellularity, then so does X x Y." is independent of ZFC.
[Howard 1992]: ZF has a model with the following two properties: (1) Every countable set of nonempty countable sets has a choice function. (2) There is an uncountable set which is the countable union of countable sets.
生成AI対策とかで、授業スライドのPDFからわざわざテキスト情報を削除して画像化するの、本当にやめてほしい。 視覚障害がある自分にとって、読み上げ機能は復習に欠かせないのに、それすら使えなくなるのはキツすぎる。…
許可を得ていないWebサイトの脆弱性を一方的に探す行為が倫理的に責められるのと対照的に、「このWebサイトも探せば脆弱性見つかるだろうなと思いつつ探さない」という行為の倫理的責任が問われない背景、考えるといろいろ難しい。刑法でいうところの不真正不作為みたいな。
矢加部理香 @AideeHindy69544
0 Followers 156 Following 🚀 新しい在庫コミュニティがオープンしました! 今すぐ参加して、3 つの限定株式ヒントを無料で入手しましょう! 毎日の市場分析と取引戦略 長期的な成功のための高度な投資戦略 ポートフォリオの最適化とリスク管理 経済とマクロトレンドに関するインサイダー情報 LINEを追加してすべてゲット！
定理証明チャン... @teiri_shoumei
386 Followers 304 Following 定理証明支援系Leanの動画をたまに作ります 質問はこちらに https://t.co/hbG5vIGafp
Shorstawth @Shorstawth1yhk
0 Followers 66 Following
Shyter @ShyterWQzE
8 Followers 145 Following
MarcellusHardgrove @MHardgrove24977
43 Followers 2K Following
Ak @ 英語アカウ�... @akanenglish917
474 Followers 540 Following akane です💐オンライン英会話教室運営を夢見てます！ 毎日アメリカ人と会話してることから、気になることや学んだフレーズなどツイートしてます ✌️たまにカナダ留学話や海外旅行話も。留学相談や勉強方法など気軽にDM下さい🔥🇯🇵🇦🇺🇰🇷🇵🇭🇲🇾🇬🇺🇨🇳🇨🇦🇺🇸 ココナラはじめました
堀池諒｜GIS保健... @GISPHN
1K Followers 711 Following 保健医療福祉分野にワクワクで楽しいGIS(地理情報システム)を広める活動中。元行政保健師で2児の父&大学教員(保健学博士)。QGISとオープンデータが趣味。日本公衆衛生学会より奨励賞受賞(行政保健師として)。奈良県立医科大学医学部看護学科,准教授。全て個人の見解です。G-CHAM(GIS地域診断)をwebで公開中👇
トクヴィルたん... @Tocqueville_tan
3K Followers 7K Following 法哲学/国法学(統治・社会制度習俗の規範的道徳哲学,科学技術と法,統治機構制度論)/都市地理学(流通・立地論)/都市計画・交通計画/科学技術社会論(科学哲学・SC)/{情報法} 趣味→👣🦶&👨🍳🍴&🛤(🚂🚃🚄🚅🚇🚈🚝🚞)&🚴 Amazonｱｿｼｴｲﾄﾌﾟﾛｸﾞﾗﾑ実施中
まる @oZw07dOIVUbCMM7
183 Followers 304 Following 技術革新が人を豊かにすると信じる寄り道大好き雲人間/二級過飲食士/技術革新コンサルタント、迅速経営アンチ知財コンサルタント/好きな対象:ピアノ、おしゃれな内装、斬新なこと、儲け話、健康、素直な人/嫌いな対象:高所、ホラー、騙すこと、反社、既得権益、無駄な慣習、偽善/やる予定:筋トレ/やめる予定:堕落
定理証明チャン... @teiri_shoumei
386 Followers 304 Following 定理証明支援系Leanの動画をたまに作ります 質問はこちらに https://t.co/hbG5vIGafp
arXiv math.GN General... @mathGNb
415 Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathLOb @mathMGb @mathMPb ...
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
H. E. @henomoto1025
1K Followers 457 Following 名古屋大数学専攻学振DC1（多元環の表現論）→博士取得→学振PD3年ポスドク→Acompany（プライバシーテック）→Parakeet（音声AI）。 以前は多元環の表現論を、完全圏を使って色々調べたり、加群圏の部分圏を調べたり、多元環の加群や部分圏の計算をしてくれるアプリ（FD Applet）を作っていたりしました。
arXiv math.LO Logic @mathLOb
1K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...
反省会へようこ... @Alwe_Logic
4K Followers 3K Following 学びたい、ことばかり。音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68rYhf
嘉田 勝 @kadamasaru
4K Followers 209 Following 数学研究者（公理的集合論・数理論理学・集合論的位相空間論）。 【著書】「論理と集合から始める数学の基礎」（日本評論社）、「数理論理学」（森北出版） 【訳書】エンダートン「論理学への数学的手引き」（1月と7月） テルミン・音楽の話題はこちら→ @thestellarwind
lestroarmonico @mathraphsody
2K Followers 568 Following 数学・表現論・リー群とリー環，著書：フリーズの数学 スケッチ帖・多項式のラプソディー・代数群と軌道・幾何学と不変量・射影幾何学の考え方，フォロワーは相互フォローできる人のみ．原則鍵垢不可． Representation Theory, Lie Groups & Lie algebras, Frieze Patterns
堀池諒｜GIS保健... @GISPHN
1K Followers 711 Following 保健医療福祉分野にワクワクで楽しいGIS(地理情報システム)を広める活動中。元行政保健師で2児の父&大学教員(保健学博士)。QGISとオープンデータが趣味。日本公衆衛生学会より奨励賞受賞(行政保健師として)。奈良県立医科大学医学部看護学科,准教授。全て個人の見解です。G-CHAM(GIS地域診断)をwebで公開中👇
萩原学 @QRJAM
2K Followers 1K Following 数学・情報数理学（古典＆量子の符号理論）の研究者です。クラフトビール好き過ぎて、大学内に醸造施設立ち上げて酒類製造免許付与されて醸造責任者してます。企業とコラボして千葉大ビールのプロデュースしたり。著書：符号理論、進化する符号理論、Coq/SSReflect。符号理論とクラフトビールの両方で賞もらってます。千葉大教授。
役に立つコミュ... @HelpfulNotesJP
59K Followers 0 Following 人々が「役に立った」と評価している最新のコミュニティノート（@CommunityNotes）をお知らせします。
Daniel Litt @littmath
50K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Ak @ 英語アカウ�... @akanenglish917
474 Followers 540 Following akane です💐オンライン英会話教室運営を夢見てます！ 毎日アメリカ人と会話してることから、気になることや学んだフレーズなどツイートしてます ✌️たまにカナダ留学話や海外旅行話も。留学相談や勉強方法など気軽にDM下さい🔥🇯🇵🇦🇺🇰🇷🇵🇭🇲🇾🇬🇺🇨🇳🇨🇦🇺🇸 ココナラはじめました
Yoshiaki Araki 荒木... @alytile
3K Followers 3K Following 日本テセレーションデザイン協会 代表 ミラクル エッシャー展 スーパーバイザー/ニュートン別冊 図形編 エッシャー記事監修/ 映画「エッシャー 視覚の魔術師」広報翻訳協力/ マーブルシュッド 「Tessellation」監修 / 著書 「M.C.エッシャーと楽しむ算数・数学パズル」「ペンローズの幾何学」
北見工大茶道部 @kit_sado
119 Followers 115 Following 毎週金曜日 18時00分〜20時00分 和室にて活動中。 2週間に1回先生にお稽古をしていただいております。北見工大公認サークルです。#茶道部 #北見工大サークル ~現在活動休止中~
トクヴィルたん... @Tocqueville_tan
3K Followers 7K Following 法哲学/国法学(統治・社会制度習俗の規範的道徳哲学,科学技術と法,統治機構制度論)/都市地理学(流通・立地論)/都市計画・交通計画/科学技術社会論(科学哲学・SC)/{情報法} 趣味→👣🦶&👨🍳🍴&🛤(🚂🚃🚄🚅🚇🚈🚝🚞)&🚴 Amazonｱｿｼｴｲﾄﾌﾟﾛｸﾞﾗﾑ実施中
電子計算機の沼 @Hishinuma_t
8K Followers 2K Following 博士(情報学)，疎行列とHPCが専門，エルデシュ数4，SB Intuitions←braid← 某スマホメーカ ← RICOS ← PEZY Computing．数値計算の専門家だった。 ゴマちゃんと妻と娘が好き．発言は所属と関係ない
チェシャ猫 @y_taka_23
4K Followers 155 Following 著名ねこみみエンジニア | CloudNative | Kubernetes | Haskell | Go | 形式手法 | モデル検査 | 定理証明 | AWS Community Builder (Security 2023-) | 登壇スライド → https://t.co/H6dHoUqenJ
Fumiharu Kato 加藤�... @FumiharuKato
20K Followers 238 Following ZEN大学教授 東京工業大学名誉教授 株式会社SCIENTA・NOVA代表取締役 ZEN数学センター（ZMC）所長 数研出版高校教科書「数学シリーズ」著者 NPO法人数理の翼顧問 数理空間トポス顧問
けまこ / Mako Miya... @kema1015
11K Followers 2K Following 料理とものづくりが好きな博士学生 / そして調理師 / UTokyo EEIC → Tsuji Culinary Institute → UTokyo EEIS Master → 🇺🇸 UC Berkeley MechE 1st-year Ph.D. student / Morphing Matter Lab
画力・博士号・... @bd_gfngfn
8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
数学カフェ＠NPO... @mathcafe_japan
7K Followers 551 Following 数学カフェは『カフェのような、誰もが気軽に“数学“に触れることができる機会』を目指して、さまざまな活動をしています☕️（※カフェの店舗はございません💦） ◻︎公式HP：https://t.co/jVlIfXS8F7 ◻︎お問い合わせ：[email protected] https://t.co/jVlIfXS8F7
alg-d @alg_d
6K Followers 2K Following Vtuberのalg-d、略してV-alg-dです。烙印とドレミコードが好き。数学動画を作っているので良かったら見てください。チャンネル→ https://t.co/74n2fBYwWJ アニメはKING OF PRISMが好き。キスト・スペシャライズド。趣味で圏論をやっています。 【2024年1月3日】
ぴあのん @piano2683
4K Followers 1K Following 小山高専助教←京大数理研ポスドク/数学基礎論/モデル理論/圏論/トポス理論/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/FGO/アイマス/ブルアカ/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー
Yusuke Terada @doraTeX
3K Followers 696 Following TeXShop開発チームメンバー / TeX2img 開発者 /「TeXユーザの集い2014/2015」実行委員 / 執筆協力：『LaTeX美文書作成入門』（技術評論社） ，『インストールいらずのLaTeX入門―Overleafで手軽に文書作成』（東京図書）
Yoshihiro Imai @yoshihiro503
2K Followers 169 Following 株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Sakaé Fuchino @SakaeFuchino
179 Followers 59 Following Warning: all tweets of mine are either parodies, and/or game of the character limit (twitter 和歌), or link to something else. It should be clear which is which.
道民の人@『日�... @North_ern2
102K Followers 2K Following 日本各地を旅をしながらひなびた風景、不思議な伝承など「消えゆく物事」「人が生きた記憶」を記録しています。歴史/街並み/建築/旅館/医療/民俗学/博物学/たまにポトレ。主な著作『鄙び旅鄙び宿』(2024年 二見書房) 調査・原稿依頼などはDM/メールからお願いします：[email protected]）
Atsushi Ohori （大�... @AtsushiOhori
2K Followers 656 Following 東北大学名誉教授 Ph.D., University of Pennsylvania SML# アーキテクト・共同開発者． プログラミング言語の研究教育に従事 「大堀淳の計算機科学チャネル」で講義ビデオを配信
enjoetoh @EnJoeToh
20K Followers 2K Following https://t.co/NAR5EjJHLj https://t.co/GkahMLsupK… @[email protected] (in Japanese)
Takayuki Kihara @tri_iro
3K Followers 1K Following 数学の研究ちう。中の人（寝癖）→ https://t.co/mGvwm0oJbl Associate Professor at Nagoya Univ. Mathematics, Logic, Computability Theory
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
龍孫江（りゅう... @ron1827
5K Followers 564 Following 不惑とは名ばかり。数学・特撮・将棋など好き。妻と２男児（５歳、１歳）。「笑わない数学」ライター／数学カフェ @mathcafe_japan など。数学のお仕事・ご依頼募集中（相談はDMへ） https://t.co/QLsY50Tcuf amazonアソシエイト参加中
Takashi Okumura @tweeting_drtaka
8K Followers 200 Following オホーツク工科大学保健管理センター長、Ph.D. (Computer Science, U Pitt)、医師、道東生活評論家。公衆衛生に関する国立研究機関での10年弱の修行の後、医師としての故郷である北海道に戻って来ました。オホーツクの大自然に庵を結んで8年目に突入。
理系漫画家はや... @rikei_hayanon
5K Followers 6K Following 理系漫画制作室株式会社@sciencemanga 代表取締役/代表作家。学部は物理学、大学院は英語教育学の理系漫画家。言語学習🇺🇸🇷🇺🇩🇪、ストリートピアノ演奏。宮崎で創作系職業交流会を毎月開催。ゲーム雑誌で漫画を描いていた人→現在は大学等の研究広報事業者。Trends for United States
You might like
