ポスト
有理数までは自然数から構築できる Agdaにもそのまま入ってる 冪根とかは体の拡大、つまり基底を足すことになる。この辺りがガロア理論 実数は有理数の完備化を使う。でも超実数を使う方法の方が簡単かも ℕ → ℙ を選択公理を使って整列する。無限小の差の同値類を作って商集合で実数
メニューを開く人気ポスト
ㅤ 初めて親子を獣舎の外に放飼した日の様子⋆꙳ 最初は緊張気味でしたがすぐに慣れてくれました🐺 ㅤ #那須どうぶつ王国 #ホッキョクオオカミ #オオカミ #動物の赤ちゃん #Arcticwolf #wolf #zoo #animal
SOTAがうめえと言っていた たんぽぽの絶品ハンバーグ◯ 店内もエモいです。 今夜はハンバーグで決まり🕺？ 夕飯のお供にはこちらをどうぞ。 ▶︎ tver.jp/episodes/epo7q… #あの頃からわたしたちは #エモーショナルズ #髙橋海人 #SOTA #KAITA #Miyu
ズワイガニが300円で売られてたので茹で、食し、殻にパテを詰め、繋ぎ、ゴールドにした物体。なんか、ずっと見てられる、、
そもそも申し出なきゃならん空気がキモいのよ
Switchで遊ぶ妻 不具合が起きた接続を直す夫 手元を邪魔しまくるので脚で窓に誘導される猫 それを見て笑う犬 これですね #これでフォロワーさん増えました
年収1千万の生活への解像度にほのぼのするのう☺️🍵
ぉぃ盗人、ふざけんな
これは本当にただの自慢になってしまうんだけど。 今日仕事終わって家帰って、ご飯の準備するために冷蔵庫開けたら、冷え冷えのグレープフルーツとキウイが皮剥いた状態で大量に入ってたの。 種も皮も所々残ってたけど、すごい嬉しかった。 誰がやっててくれたと思います？ 昨日の私です！！！！！
一瞬びっくりした 一瞬ね
トレンド19:00更新
- 1
アニメ・ゲーム
自動行軍
- 疲労困憊
- 【お知らせ】
- スキップ
- 2
アニメ・ゲーム
検非違使
- 【お知らせ】
- 3
ロジャーバローズ
- 種牡馬として
- ダービー馬
- オーキッドロマンス
- 残された
- 旅立ちました
- 2019年
- 【お知らせ】
- 早すぎるよ
- ご冥福をお祈り
- ロジャー
- 4
ニュース
八丈島東方沖
- M5.6
- 深さ50km
- 震源の深さ
- 津波の心配はありません
- 地震情報
- 震度2
- 地震規模
- 地震の規模
- 緊急地震速報
- 震度1
- 5
エンタメ
音道楽
- 佐藤佳奈
- 地上波放送
- 読売テレビ
- 6
アニメ・ゲーム
パッチノート
- 7
ITビジネス
ほぼ黒塗り
- FRIDAY
- プロジェクションマッピング
- 黒塗り
- 8
松戸線
- 新京成線
- 新京成電鉄
- 京成松戸線
- 京成電鉄
- 来年4月
- 新京成
- 京成新京成線
- 現状維持
- 9
田中樹
- ハモリ我慢
- バナナサンド
- 10
エンタメ
着席指定席
