hyperfinitism @hyperfinitism
R&D Engineer in Privacy Tech / OSS Contributor / Independent Researcher in Mathematics, Theoretical Computer Science and Philosophy / Investor github.com/hyperfinitism Joined December 2024-
Tweets55
-
Followers17
-
Following64
-
Likes0
hyperfinitism retweeted
「爺さんの腰、何をやっても曲がったまんまだなあ。とりあえず、思いっきり逆方向に曲げてみっか！エイッ」←荒療治ですらない
Reviewは結構重い仕事だが，定期的に来てくれると，数学の論文を深く読む義務が生じ数学能力の劣化を抑えることができるので，割と有り難い
hyperfinitism retweeted
新しい論文「物理学における決定不能性と強い創発」のプレプリントをresearchmapに公開しました．昨年，時間・偶然研究会の「強い創発をつくる」WSで発表した内容を論文化したものです．よろしくお願いします． researchmap.jp/jjaames/publis…
hyperfinitism retweeted
SEV-SNPはあまりにもスマートすぎる一方、RAの性能が相対的に貧弱なので、RAでひたすらに地獄を見るゼミになるのが目に見える TDXはSGX同様TCBレベルチェックが優秀な反面、相変わらずカオスの極みなので、満遍なく地獄を見るにはTDXの方が良い
hyperfinitism retweeted
株式会社Acompany 櫻井 碧氏による「TEEビルド&スクラップゼミ」です。TEE（Trusted Execution Environment）の代表的な実例であるIntel SGXによるアプリ開発と、開発したアプリへの攻撃を通じ、TEEの利点と限界を実践的に学びます。#seccamp
Gödelの定理の条件を満たす理論は本質的不完全（任意の無矛盾c.e.拡大が不完全）であることが知られているから，とくに無矛盾性を保ったままいくら公理を選択して追加しても完全な理論に到達することはなく，公理選択は永遠に続けられる．Postはこの様子を「創造的」と呼んだ．
ir.cwi.nl/pub/2114 Automata and coinduction (an exercise in coalgebra) 余帰納法への最良の入門テキスト
hyperfinitism retweeted
6月下旬新刊予約受付中 『数理論理学』嘉田勝（森北出版） 「ゲーデルの完全性定理」と「ゲーデルの不完全性定理」への到達を目標とした入門書． 書泉オンライン⇩ x.gd/KLKD9
論計舎 @ronkeisha_info
823 Followers 948 Following ろんけいしゃ。数理論理学と理論計算機科学を主軸をしたオンライン講座を展開中！イベント #論計祭 を運営！数理論理学と計算機科学を「論と計の科学」として掲げています。たまに論理学と計算機科学のネタを投稿します。 #論計舎の100本ノック シリーズなど教材も作っています。一部の投稿にはChatGPTが関わっています
aos @dd_cliffford
600 Followers 559 Following TEE（特にIntel SGX）と蒙古タンメン中本を常食しています BI-SGX/2019年度未踏スーパークリエータ 株式会社Acompanyシニア研究員 セキュリティキャンプ全国大会講師（2023-） IISEC特任研究員
直感の破壊者、... @sanjutsu_yu
1K Followers 1K Following 千葉大学理学部数学・情報数理学科卒、北陸先端科学技術大学院大学博士前期課程修了。Master of Science (Information Science). Constructive MathやRecursive Math (Not Recursion Theory)やNon-Classical Logicに興味。
みならい @Minarai01
234 Followers 7K Following
ζ色数ζ @ATDY6GzGZoYWRWz
14K Followers 4K Following ミレニアムサイエンススクール所属 | 複素解析 | @AnjuYokoi3, @re_irosuu, @math_yuuka_bot
ブリザム（Kazmi ... @BlizzamPD
941 Followers 4K Following クラークの第三法則に基づく魔導士．業績は麦茶理論(1996)他，苫米地式コーチング認定コーチ，DrTAACLEプロジェクトディレクター，受験対策他各種職務提供，詳細は公式サイト及び拡張bio参照．相談はDMにて随時対応(要返信の場合はその旨を明記した上で行政上本名を記載の事）．日本国行政上フルネームは武部一美ブリザム．
M.N @choubeat
14 Followers 54 Following nonstandard analysisを学んでいます。完備化とnonstandard modelとの対応について興味があります。
N.Y(6/7 ZINEフェス... @N_Y_Big_Apple
8K Followers 9K Following 理系のはず。 サクソフォンと数学を少々。アイコンは@N_Y_Big_Apple作 一応京大数学科の学部を卒業してゐる ジャンプルーキー:https://t.co/9n95tQ5teW pixiv: https://t.co/Tufp73QQEK
反省会へようこ... @Alwe_Logic
4K Followers 3K Following 学びたい、ことばかり。音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68rYhf
大王 a.k.a. S.S.H. @FDDaioh
970 Followers 1K Following 毎週ニュースレターをメールで送ってるNonstandardな大王👑です / Engineering Manager / CSM / SML / Zettelkasten(Antinet)📝 /プロフ画🖌は @KaReIDo_ 様/ #日本ベーシックインカム推進協議会 / 絵画・酒・食事 → @atonkb
國武悠人🎓 @ppp_benkyo
804 Followers 738 Following 慶應義塾 #SFC21 →政策・メディア研究科／消費者庁 令和6年度消費者支援功労者（内閣府特命担当大臣表彰）。307票を賜り、全塾協議会塾生議員に当選🙇。SFC STUDENT AWARD表彰2回。学会賞多数。大学での悩みごと、相談、お気軽にご連絡ください。2025年三田会幹事🤝社中協力
NENENENE@研究 @SUKANEKI_STI
11K Followers 2K Following M1。情報理数科→慶應SFC→同大学院（早期修了目指す）。🎖消費者庁令和6年度消費者支援功労者「内閣府特命担当大臣表彰」（首相官邸📸）。@isostandards 国際エキスパート。民間財団客員研究員。日本財団HUMAI：B。情報処理学会HCI研究会貢献賞ほか。消費者保護を研究。🤝166三田会幹事。自営。📝8報
aos @dd_cliffford
600 Followers 559 Following TEE（特にIntel SGX）と蒙古タンメン中本を常食しています BI-SGX/2019年度未踏スーパークリエータ 株式会社Acompanyシニア研究員 セキュリティキャンプ全国大会講師（2023-） IISEC特任研究員
株式会社Acompany�... @Acompany_co
933 Followers 317 Following 株式会社Acompany（アカンパニー）の公式アカウントです。 「Trust. Data. AI./あらゆるデータとAI活用に、信頼を。」をミッションに、秘密計算に関連した製品・技術と、機密データコンサルティングサービスを提供しています。 プレスリリースや掲載のお知らせ、イベント情報などを発信します！
平井靖史Yasushi H... @hiraiyasushi1
8K Followers 1K Following 平井靖史。ベルクソン・ライプニッツなど近現代哲学。時間と心の哲学。記憶の形而上学。 PBJ（Project Bergson in Japan）代表。国際ベルクソン協会・日仏哲学会理事。武蔵野美術大学油絵科卒 →東京都立大学哲学科・同大学院 →福岡大学→慶應義塾大学文学部教授
永井均『「純粋... @hitoshinagai1
34K Followers 2 Following 哲学をやっています。2014年からツイッターを始めました。私が何を言っているのか理解したい方は、まずは近年の主著である『世界の独在論的存在構造－哲学探究２』（春秋社）からお読みください。これら拙著における議論を前提にしたことを呟きますので、読まずにリプライ等をしないようにお願いします。
Minao Kukita 久木�... @minaokukita
2K Followers 588 Following A philosopher of language, logic, technology, etc. at Nagoya University
青山拓央 / Takuo ... @aoymtko
6K Followers 97 Following 京都大学の哲学の教授 / Professor of Philosophy, Kyoto University. 著書に『時間と自由意志』『幸福はなぜ哲学の問題になるのか』『分析哲学講義』など。執筆依頼等は下記URLにて。
出版社| Après-mid... @Apresmidi_pub
625 Followers 569 Following 人文・カルチャーメインのほぼほぼひとり出版社Après-midi（アプレミディ）です。6月28日『文豪と犬と猫 偏愛で読み解く日本文学』発売📚 ※お問い合わせはHPからお願いします
やまなみ書房 @YamanamiBooks
2K Followers 2K Following 人と人とのつながりを大切にしています。あまりにニッチすぎて他社では採算が取れない出版物を中心に扱います。樋口正人『素粒子読本』，細谷曉夫『解析力学』，高木翼『形式論理探求』，学術書専門の書評誌 Tokyo Academic Review of Books(TARB; https://t.co/YvWIjOTYXv )
Computational Psychia... @cpsy_j
604 Followers 115 Following Research group studying computational psychiatry in Japan. Developer of @CPSYMAP (Computational Psychiatry Research Map) Organizer of "CPSY TOKYO"
Jun Otsuka @junotk_jp
5K Followers 98 Following 自然哲学者。進化論の哲学、統計学／機械学習の哲学。著書：『統計学を哲学する』（名古屋大学出版会）など。The author of Thinking About Statistics (Routledge), The Role of Mathematics in Evolutionary Theory (CUP).
大西琢朗 @takuro_onishi
3K Followers 480 Following 哲学・論理学・タイ料理。 ぴよ将棋4級。論理学の入門書を書きました https://t.co/3pm87jkA9y
Yasuhito Tanaka (田�... @kiishimizu3
1K Followers 345 Following 基本は理論的・数学的な研究ですが，MMTやラーナーの機能的財政論などを参考にしながら財政赤字・政府債務の問題について考えています。
毛糸@博士課程 @keito_oz
10K Followers 1K Following 決算支援の会計士。博士課程で簿記代数を研究中。日本公認会計士協会 委員。修士ファイナンス専攻首席修了。外資系投資銀行監査とクオンツ業務のち、会計事務所でプライム企業の決算支援。会計×ITコミュニティ #PyCPA 発起人。娘の毛玉ちゃん育児中。https://t.co/IVMbdzzrSTアソシエイト
H. E. @henomoto1025
1K Followers 449 Following 名古屋大数学専攻学振DC1（多元環の表現論）→博士取得→学振PD3年ポスドク→Acompany（プライバシーテック）→Parakeet（音声AI）。 以前は多元環の表現論を、完全圏を使って色々調べたり、加群圏の部分圏を調べたり、多元環の加群や部分圏の計算をしてくれるアプリ（FD Applet）を作っていたりしました。
ζ色数ζ @ATDY6GzGZoYWRWz
14K Followers 4K Following ミレニアムサイエンススクール所属 | 複素解析 | @AnjuYokoi3, @re_irosuu, @math_yuuka_bot
alg-d @alg_d
6K Followers 2K Following Vtuberのalg-d、略してV-alg-dです。烙印とドレミコードが好き。数学動画を作っているので良かったら見てください。チャンネル→ https://t.co/74n2fBYwWJ アニメはKING OF PRISMが好き。キスト・スペシャライズド。趣味で圏論をやっています。 【2024年1月3日】
H. Miyoshi (ALC Japan... @metaphusika
2K Followers 1K Following Research interests: Category Theory, Mathematical Logic, Theoretical Computer Science, Philosophy of Computation. Mastdon: @[email protected]
Hiroyasu Kamo @kamo_hiroyasu
10K Followers 323 Following 準数学者と半数学者のどちらを名乗るかをずっと検討中です。ガウスの弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子です。エルデシュの共著者の共著者の共著者の共著者です。勤務先については「名乗らない。隠さない。」をここでの基本方針としています。
kxc.dev - KXC Open So... @KxcDev
2 Followers 1 Following https://t.co/8t3bLhrRAZ | Open Source Projects from Kotoi-Xie Consultancy, Inc. | https://t.co/hT3ZIuxafh
KXC - Kotoi-Xie Consu... @kxcinc
25 Followers 1 Following KXC | 合同会社コトイコンサルタンシー | Kotoi-Xie Consultancy, Inc. Software/IoT Development, Domain Analysis, Formal Methods, Specialized Algorithms Development, and more
Yuichi Ike @yuichi_ike
1K Followers 186 Following https://t.co/nBV6cb6hfU / 超局所層理論，パーシステントホモロジー (microlocal theory of sheaves, persistent homology) / 超局所層理論については https://t.co/ioT3O6a5T8
N.Y(6/7 ZINEフェス... @N_Y_Big_Apple
8K Followers 9K Following 理系のはず。 サクソフォンと数学を少々。アイコンは@N_Y_Big_Apple作 一応京大数学科の学部を卒業してゐる ジャンプルーキー:https://t.co/9n95tQ5teW pixiv: https://t.co/Tufp73QQEK
めめんと🐰ྀ�... @orz_ted
10K Followers 4K Following 「一つの橋@Hitotsubashi_U」と「ケム川の橋@Cambridge_Uni」をぴょんぴょんして博士になった🐰さんの隠れ家。《所属・学位》山形大学学術研究院(人社-法), 講師(民法・比較契約法・消費者法)、〔兼任〕大阪大学社会技術共創研究センター, 招へい教員。博士(法学)(一橋大学)。元DC1。
hdegu @hdegu
15 Followers 76 Following
宮野公樹・全国... @ikiikilab
5K Followers 2K Following 京都大学学際融合教育研究推進センター准教授。近著「問いの立て方」（ちくま新書）。「世界が広がる学問図鑑」2023年2月（Gakken）の監修も。 Voicyのほうが熱心（https://t.co/nOToZWFcVB）。NHKによる７ヶ月の密着取材がドキュメンタリー番組に。ETV特集「ねちねちと、問う」笑
谷口一平 A.k.a.ha... @Taroupho
10K Followers 4K Following TANI_Röhei⚡ 令和の鄙儒、赤羽七賢の一、号して赭埴庵映士。 📌独立哲学者 / 不登校中卒ニート哲学修士・NPO哲学道場(活動歴19年以上) 📌文学・数学(Logic)・プログラミング(Perl) / 群発頭痛・強迫性障害(OCD) 📌単著準備中・『新紀要』同人共宰 @shinkiyou_
論理学友の会 @DomusLogica
421 Followers 421 Following ＃論理学友の会 は広い意味での論理学について発表したい方に発表の場を提供しています。本会は #論計舎 @ronkeisha_info に支援いただいております。リンクはDiscord招待リンクです。
𝚌𝚊𝚗𝚗𝚘�... @cannorin3
2K Followers 1K Following 電子の妖精 / #ClubTheUnderground / @Sys73mcr4sh / pfp:@pu_nkn
cannorin @cannorin_pub
256 Followers 105 Following @cannorin の鍵なしアカウント (Public account of @cannorin)
スマートコン @mr_konn
2K Followers 879 Following 小人閑居為不貞寝 keybase: https://t.co/UoZp1Y8mZ1 mastodon: @[email protected] Bluesky: https://t.co/ka5XmbdEkMTrends for United States
107 B posts
11,3 B posts
361 B posts
5.996 posts
23,1 B posts
431 B posts
13,3 B posts
28,3 B posts
1.442 posts
254 B posts
113 B posts
19,8 B posts
2.988 posts
18,6 B posts
8.530 posts
1,52 Mn posts
43,1 B posts
1.472 posts
You might like
Elon Musk
@elonmusk
225.5M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.8M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.9M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.5M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers