人気ポスト
数理論理学の中でモデル理論と呼ばれる分野の本。通常の三段論法的な論理学を数学の論理を当てはめて証明そのものの性質を明らかにする分野が数理論理学。全く理解できていないが、そこの論理構造自体に様々な代数構造を入れて研究する分野。プログラム意味論とも関わるのだが、理解は進んでいない。 pic.twitter.com/DFLexZ59Cz
メニューを開くみんなのコメント
メニューを開く
ヴェイユによる数論の近現代史。 中世の発展から各人の定理への寄与が細かく記載されており、単に現代につながるフェルマーの業績とかが書かれたものではない。とはいえ、フェルマー、オイラーを中心に古典論から楕円曲線論の発展史が記述されている。しかも、数式の展開を追える程度に詳しく。 pic.twitter.com/uIE2OS1Po9
ほかの人気ポスト
コバンザメ捌こうとしたら跳ねて戸棚にくっつきました
縦がこれくらいで… 横がこれくらいだった！
←75万のカメラ iPhone14pro→
ちょっとwwwwwwwww 6円のお肉ゲットしたwwwwwww
仙台旅行当日に一緒行くオタクが送ってきたLINE、かなり信頼できる
>陸自は「破片が直線で来るとの思い込みで、しゃがめば前壁から離れても大丈夫と考えたのではないか」としている。 自分も手榴弾の教育は受けたけど、同じ認識だった… 死亡隊員、壁に十分隠れず破片直撃か 陸自手投げ弾事故の調査で判明(朝日新聞デジタル) #Yahooニュース news.yahoo.co.jp/articles/2dcd3…
山梨学院やばすぎだろ
どうしたら良かったんだよ
動物病院の明細書いつもかわいい #全日本ﾈｺﾁｬﾝ証明写真選手権
トレンド15:19更新
- 1
アニメ・ゲーム
グランドフェスティバル
- テンタクルズ
- シオカラーズ
- amiibo
- すりみ連合
- スプラトゥーン3
- マイニンテンドーストア
- プラチナポイント
- リストバンド
- すりみ
- スプラトゥーン
- フェス
- スプラ
- 2
ITビジネス
ブルースクリーン
- Windows障害
- CrowdStrike
- 突然ブルースクリーン
- ブルスク
- ブルスク祭り
- csagent.sys
- シャットダウン
- Windows
- csagent.sys失敗
- ブルースクリーン祭り
- 会社のPC
- 世界的に
- 世界規模
- 同時多発
- 再起動
- パソコン
- csagent
- Windows再起動
- PC
- 細田守
- 3
世界同時ブルスク祭り
- Windows障害
- ブルスク祭り
- csagent.sys失敗
- 4
ニュース
公務執行妨害
- ガス栓
- 死のうと
- 中国籍の男
- マンション爆発
- 現行犯逮捕
- 爆発した
- 川口市マンション爆発
- ガスの元栓
- マンション
- 中国籍
- 5
アニメ・ゲーム
松崎しげる
- 帰ってきた
- ウマ娘
- 6
エンタメ
Chk Chk Boom
- ATE
- ヒュー・ジャックマン
- 配信スタート
- Stray Kids
- MINI
- YouTube
- スキズ
- POP
- 7
スポーツ
喫煙と飲酒
- 代表行動規範
- パリ五輪代表
- 日本体操協会
- 宮田笙子
- 行動規範
- 体操宮田
- 飲酒もか
- パリ五輪
- 出場辞退
- 8
エンタメ
news zero
- 堀越耕平
- 堀越先生
- 日テレ
- 9
ドレタキ
- ドレス&タキシード
- 10
チョウリ
- 長離
