ポスト
実数のかけ算の定義はよくわからないのだが、割り算を定義すれば有理数はいけるのか？無理数はそのものを定義するのではなく、n乗根やπなどを個別に定義する感じ？
メニューを開くみんなのコメント
メニューを開く
有理数までは自然数から構築できる Agdaにもそのまま入ってる 冪根とかは体の拡大、つまり基底を足すことになる。この辺りがガロア理論 実数は有理数の完備化を使う。でも超実数を使う方法の方が簡単かも ℕ → ℙ を選択公理を使って整列する。無限小の差の同値類を作って商集合で実数
人気ポスト
嫌なことがあったらハトが落とし穴に落ちる動画を見て元気出すことにしてる。
NHK Eテレ「デザインあ」にて４年前に放送された「デザインの裏側」がデザインあneoにて再放送されました。多摩美でも教えていた、パッケージの成分表示のレイアウトを制作する実演動画。細かな微調整などもしっかり伝わる内容になっており、ニッチ過ぎて放送されるとxが若干ざわつくそうです…
何回見てもすごいな
ナイトプールにコレかコレで登場して注目かっさらいたい
みんなコレ知ってる？
「なんで大阪から東京まで歩いて 帰ってるんですか？」 って聞かれるけど、 新幹線が禁煙だからです。 吸えない2時間より吸える3週間。 by SAM
これめちゃくちゃ好き
先生に「しっ…動かないで…髪に何かいるから…」と言われて、虫かと思って発狂しそうな気持ちで動かずティッシュで取ってもらった、しめじ
怖いか？ 役の振り幅が
トレンド11:41更新
- 1
ニュース
梅雨入りした
- 関東甲信地方
- 関東甲信
- 近畿地方
- 警報級の大雨
- 東海地方
- 名古屋地方気象台
- とみられる
- 2
ニュース
秘密保持契約
- JAXA
- サイバー攻撃
- VPN
- トヨタ自動車
- ファイル
- 3
マンガン団塊
- レアメタル
- 南鳥島沖
- コバルト
- ニッケル
- 小笠原諸島
- 2億
- メタンハイドレート
- 世界的に
- マンガンノジュール
- マンガン
- 4
エンタメ
Dad Rock
- クリムゾン
- 5
アニメ・ゲーム
マンガ大賞2024
- 次にくるマンガ大賞
- 竜送りのイサギ
- ギャル嫁の秘密
- ふつうの軽音部
- ミユキ蜜蜂
- サチ録
- 春の嵐とモンスター
- 7.8%
- 6
ファッション
エアリズム
- 7
性的なポスター
- 警告受けた候補者
- 性的な表現
- 自らはがす
- 都知事選掲示板に性的なポスター
- N国
- 8
裸選挙ポスター
- 選挙ポスター 警告
- ほぼ裸選挙ポスター
- 私の政見放送を見てね
- 選挙ポスター
- 詐欺サイト
- QRコード
- ジャック
- 政見放送
- QR
- 9
ニュース
JAXAにサイバー攻撃
- 10
エンタメ
ドクターキリコ
- 原作改変
- ブラックジャック
- 高橋一生
電車遅延（在来線、私鉄、地下鉄）
全国の運行情報（Yahoo!路線情報）
