| [×消] |
| おしらせ | > | 無言時間が20分を超えたため、ビッグ天野データさんが自動退室しました。 (6/29 08:03:44) |
| おしらせ | > | ビッグ天野データさん(133.206.***.96)が入室しました♪ (6/29 07:42:32) |
| おしらせ | > | つばささん(New 3DS 27.91.***.37)が退室しました。 (6/27 22:39:07) |
| つばさ | > | « (6/27 22:39:03) |
| つばさ | > | ダメだ (6/27 22:37:25) |
| おしらせ | > | つばささん(New 3DS 27.91.***.37)が入室しました♪ (6/27 22:36:47) |
| おしらせ | > | 在庫あり サブさん(Android 106.160.***.147)が退室しました。 (6/24 01:58:03) |
| 在庫あり サブ | > | 公式音源が無かった…申し訳ない (6/24 01:57:28) |
| 在庫あり サブ | > | よし (6/24 01:56:32) |
| 在庫あり サブ | > | https://youtu.be/upNP4EaKjCk (6/24 01:56:26) |
| おしらせ | > | 在庫あり サブさん(Android 106.160.***.147)が入室しました♪ (6/24 01:56:18) |
| おしらせ | > | 無言時間が20分を超えたため、在庫さんが自動退室しました。 (6/23 20:52:55) |
| 在庫 | > | 炒飯には水やな (6/23 20:31:49) |
| 在庫 | > | 要するにSEGAのボーカル有り音ゲ曲は他のそれより判別し易いって事 (6/23 20:29:11) |
| 在庫 | > | 説明下手すぎるだろ (6/23 20:27:51) |
| 在庫 | > | SEGAのボーカルありの音ゲ曲ってすぐにSEGAって分かるの面白い (6/23 20:27:13) |
| 在庫 | > | 後でリンク貼る (6/23 20:25:25) |
| 在庫 | > | CHUNITHMのSqluppって曲に見事にハマッた (6/23 20:25:11) |
| おしらせ | > | 在庫さん(3DS 106.160.***.147)が入室しました♪ (6/23 20:16:18) |
| おしらせ | > | 無言時間が20分を超えたため、ビッグ天野データさんが自動退室しました。 (6/21 23:13:42) |
| おしらせ | > | ビッグ天野データさん(133.206.***.96)が入室しました♪ (6/21 22:52:56) |
| おしらせ | > | 無言時間が20分を超えたため、ビッグ天野データさんが自動退室しました。 (6/15 20:13:30) |
| おしらせ | > | ビッグ天野データさん(133.206.***.96)が入室しました♪ (6/15 19:52:56) |
| おしらせ | > | 無言時間が20分を超えたため、ビッグ天野データさんが自動退室しました。 (6/15 19:46:30) |
| おしらせ | > | 無言時間が20分を超えたため、h-yさんが自動退室しました。 (6/15 19:44:56) |
| ビッグ天野データ | > | その条件や原理を使って何が出来るかを今研究中って感じじゃないかな (6/15 19:26:04) |
| ビッグ天野データ | > | でも、適切な条件をこしらえてやれば成り立つ (6/15 19:25:25) |
| ビッグ天野データ | > | 一般に成り立つわけじゃないから (6/15 19:25:04) |
| ビッグ天野データ | > | 定理ではない (6/15 19:24:56) |
| h-y | > | というか原理って書いてあるけど定理とは違うのかな (6/15 19:24:35) |
| h-y | > | 要するにこの話がヤバいのって片方の体系で証明できたらもう片方の体系でも証明できたことになるって点なのか？ (6/15 19:23:27) |
| h-y | > | そうなんや (6/15 19:22:27) |
| h-y | > | 伊那路とは、東海旅客鉄道が飯田線豊橋駅 - 飯田駅間で運転している特別急行列車である (6/15 19:22:20) |
| ビッグ天野データ | > | いなじってなんだ (6/15 19:22:07) |
| ビッグ天野データ | > | 同じ話 (6/15 19:21:59) |
| ビッグ天野データ | > | 実際はデデキント環の商体、特に代数体と言われるものであればどんな場合でも伊那路話ができるらしい (6/15 19:21:54) |
| ビッグ天野データ | > | これは有理数からスタートしてるけど (6/15 19:20:59) |
| h-y | > | なんか後は技巧の問題という感じはするよね (6/15 19:19:21) |
| ビッグ天野データ | > | 話すと煩雑になるから今回は言わない (6/15 19:18:58) |
| h-y | > | へー (6/15 19:18:54) |
| ビッグ天野データ | > | でもまぁそれは話してないだけで頑張れば出来る (6/15 19:18:44) |
| ビッグ天野データ | > | 2/3はどうするかとか (6/15 19:18:30) |
| ビッグ天野データ | > | まぁ有理数の場合はまだ話してないよね (6/15 19:18:22) |
| ビッグ天野データ | > | そうだね (6/15 19:18:08) |
| h-y | > | じゃあ3を3進数に対応させると0,3,3,...か (6/15 19:17:10) |
| ビッグ天野データ | > | そしたら条件が満たされる (6/15 19:16:22) |
| ビッグ天野データ | > | まぁ普通にa_nは14を3^nで割ったものとして定義すればいい (6/15 19:15:55) |
| h-y | > | un (6/15 19:15:46) |
| ビッグ天野データ | > | ついでにk>lならばa_l=g_l(a_k)とかの条件も満たしつつね (6/15 19:15:26) |
| h-y | > | それってあるk以降ではa_kが全部14になるような数列？ (6/15 19:14:36) |
| ビッグ天野データ | > | 14は2,5,14,14,14,...となる (6/15 19:14:05) |
| ビッグ天野データ | > | 14を3進数に対応させる方法は言ったでしょ？ (6/15 19:13:49) |
| h-y | > | 有理数なら実数だから実数なのはわかるんだけど (6/15 19:13:13) |
| h-y | > | 特定の有理数、例えば3とかをp進数と対応付けるにはどうするの (6/15 19:12:56) |
| ビッグ天野データ | > | うむ (6/15 19:12:50) |
| h-y | > | って言ってるけど (6/15 19:12:29) |
| h-y | > | 有理数係数の不定方程式が有理数の解を持つならば、その有理数は実数または p-進数と見ることもできる (6/15 19:12:26) |
| h-y | > | ふむー (6/15 19:12:10) |
| ビッグ天野データ | > | 実数と全てのp進数において解を持つ (6/15 19:11:27) |
| ビッグ天野データ | > | 実数でも解を持ち、2進数でも解を持ち、3進数でも解を持ち、5進数でも解を持ち、・・・って感じ (6/15 19:11:08) |
| h-y | > | （「実数および全ての素数 p に対する p-進数の範囲で解を持つ」を解釈しようとしてる） (6/15 19:08:32) |
| h-y | > | ある実数に対するp-進数ってのはどういう感じのものだと捉えればいいんだ (6/15 19:08:04) |
| ビッグ天野データ | > | p進数の結果の中で最も有名でかつ強い原理 (6/15 19:05:25) |
| ビッグ天野データ | > | https://ja.wikipedia.org/wiki/%E5%B1%80%E6%89%80%E5%A4%A7%E5%9F%9F%E5%8E%9F%E7%90%86 (6/15 19:04:56) |
| ビッグ天野データ | > | そうね (6/15 19:00:00) |
| h-y | > | できるけどやると複素数より大きい体系を作るとナントカ法則が成り立たなくなるみたいな話になりそう (6/15 18:59:07) |
| ビッグ天野データ | > | まぁ、条件緩めたら出来るけど、数字として妥当な条件だからなぁ (6/15 18:58:47) |
| ビッグ天野データ | > | いや、出来ないかなぁ (6/15 18:57:07) |
| ビッグ天野データ | > | どうなんだろ (6/15 18:56:47) |
| ビッグ天野データ | > | まぁ多分もっと大きいのも出来なくはないのかもしれないけど (6/15 18:56:19) |
| h-y | > | でも同一視できる条件をテキトーに緩めればどんな集合も含まれるんでは、みたいな懸念は生じるけど、そこはさっき言ってた厳密な定義によってどこまでOKなのかのラインは定まってるんだろうな (6/15 18:53:47) |
| h-y | > | ことが (6/15 18:52:18) |
| h-y | > | 要するにこの意味でこれ以上広い集合は作れないのか？的なことは聞きたい (6/15 18:52:07) |
| h-y | > | 分類できるという共通項から数の体系を構築するというノリには面白みを感じる (6/15 18:50:35) |
| h-y | > | ところでこの定義で得られた集合には、適切な同一視の過程を経ればどんなmod 3^nによって分類できる集合ないし組も含まれるのか？ (6/15 18:49:42) |
| ビッグ天野データ | > | これが今話題のabc予想の望月教授の研究分野でもある (6/15 18:48:29) |
| ビッグ天野データ | > | ここにどんな和や積、そして位相が入るのかが分からない限り面白さは感じないかもしれないけど (6/15 18:47:51) |
| ビッグ天野データ | > | まぁこの時点ではなぞの集合を作っただけだから (6/15 18:47:11) |
| ビッグ天野データ | > | そうね (6/15 18:46:41) |
| ビッグ天野データ | > | ある地点で変わってしまうとそれ以降では絶対に一致しない (6/15 18:46:13) |