「チャンパー」を含む日記 RSS

はてなキーワード: チャンパーとは

2019-02-14

anond:20190214094802

チャンパーノウン定数ね。正規数でもあるからバッチリだね!w

俺が使ってるπから切り出した4桁の暗証番号全集合は、チャンパーノウン定数から切り出した4桁の暗証番号全集合の真部分集合になるわけだからチャンパーノウン定数すごい!ww


てゆうか、それって、整数自然数)の並びそのままやんか.....www

2018-07-29

台風名前意味わからん

関西を通過中の台風名前はジョンダリと言うらしい、北朝鮮語でひばりを指す言葉だ。

北朝鮮語で台風名前をつけるのが意外だったので調べてみた。

https://www.jma.go.jp/jma/kishou/know/typhoon/1-5.html

台風名前は各国がつけた名前140個を順番に使い、最後まで行ったらまた最初に戻って使い回すように決まっているらしい。

各国がつけてる名前も大概変だが、日本のつけてる名前星座由来だが台風ヤギは無いだろって感じだし、全体的に不思議になるような間の抜けた名前揃いで台風名前をつける方々のセンスが謎だ。

台風名前意味

命名した国と地域 呼名 片仮名読み 意味

1 カンボジア Damrey ダムレイ

2 中国 Haikui ハイクイソギンチャク

3 北朝鮮朝鮮民主主義人民共和国) Kirogi キロギー がん(雁)

4 香港 Kai-tak カイタク 啓徳(旧空港名)

5 日本 Tembin テンビン てんびん座

6 ラオス Bolaven ボラヴェン 高原名前

7 マカオ Sanba サンバ マカオの名所

8 マレーシア Jelawat ジェラワット 淡水魚名前

9 ミクロネシア Ewiniar イーウィニャ 嵐の神

10 フィリピン Maliksi マリクシ 速い

11 韓国 Gaemi ケーミー あり(蟻)

12 タイ Prapiroon プラピルーン 雨の神

13 米国 Maria マリ女性名前

14 ベトナム Son-Tinh ソンティベトナム神話山の神

15 カンボジア Ampil アンピル タマリンド

16 中国 Wukong ウーコン (孫)悟空

17 北朝鮮朝鮮民主主義人民共和国) Jongdari ジョンダリ ひばり

18 香港 Shanshan サンサン 少女名前

19 日本 Yagi ヤギ やぎ座

20 ラオス Leepi リーラオス南部の滝の名前

21 マカオ Bebinca バビンカ プリン

22 マレーシア Rumbia ルンビア サゴヤシ

23 ミクロネシア Soulik ソーリック 伝統的な部族長の称号

24 フィリピン Cimaron シマロン 野生の牛

25 韓国 Jebi チェービー つばめ(燕)

26 タイ Mangkhut マンクット マンゴスチン

27 米国 Barijat バリジャット 風や波の影響を受けた沿岸地域

28 ベトナム Trami チャーミー 花の名

29 カンボジア Kong-rey コンレイ 伝説少女名前

30 中国 Yutu イートゥー 民話うさぎ

31 北朝鮮朝鮮民主主義人民共和国) Toraji トラジ桔梗

32 香港 Man-yi マンニィ 海峡現在貯水池)の名前

33 日本 Usagi ウサギ うさぎ

34 ラオス Pabuk パブー淡水魚名前

35 マカオ Wutip ウーティップ ちょう(蝶)

36 マレーシア Sepat セーパット 淡水魚名前

37 ミクロネシア Mun ムーン 6月

38 フィリピン Danas ダナス 経験すること

39 韓国 Nari ナーリー 百合

40 タイ Wipha ウィパー 女性名前

41 米国 Francisco フランシスコ 男性名前

42 ベトナム Lekima レキマー 果物名前

43 カンボジア Krosa クローサ 鶴

44 中国 Bailu バイルー 白鹿

45 北朝鮮朝鮮民主主義人民共和国) Podul ポードル やなぎ

46 香港 Lingling レンレン 少女名前

47 日本 Kajiki カジキ かじき座

48 ラオス Faxai ファクサイ 女性名前

49 マカオ Peipah ペイパー 魚の名前

50 マレーシア Tapah ターファー なまず

51 ミクロネシア Mitag ミート女性名前

52 フィリピン Hagibis ハギビス すばやい

53 韓国 Neoguri ノグリたぬき

54 タイ Bualoi ブアローお菓子名前

55 米国 Matmo マットゥモ 大雨

56 ベトナム Halong ハーロン 湾の名前

57 カンボジア Nakri ナクリー 花の名

58 中国 Fengshen フンシェン 風神

59 北朝鮮朝鮮民主主義人民共和国) Kalmaegi カルマエギ かもめ

60 香港 Fung-wong フォンウォン 山の名前(フェニックス)

61 日本 Kammuri カンムリ かんむり座

62 ラオス Phanfone ファンフォン 動物

63 マカオ Vongfong ヴォンフォン すずめ蜂

64 マレーシア Nuri ヌーオウム

65 ミクロネシア Sinlaku シンラコウ 伝説上の女神

66 フィリピン Hagupit ハグピート むち打つこと

67 韓国 Jangmi チャンミー ばら

68 タイ Mekkhala メーカラー 雷の天使

69 米国 Higos ヒーゴス いちじく

70 ベトナム Bavi バービー ベトナム北部の山の名前

71 カンボジア Maysak メイサーク 木の名前

72 中国 Haishen ハイシェン 海神

73 北朝鮮朝鮮民主主義人民共和国) Noul ノウル 夕焼け

74 香港 Dolphin ドルフィン 白いるか香港代表する動物の一つ。

75 日本 Kujira クジラ くじら座

76 ラオス Chan-hom チャンホン 木の名前

77 マカオ Linfa リンファ はす(蓮)

78 マレーシア Nangka ナンカー 果物名前

79 ミクロネシア Saudel ソウデル 伝説上の首長の護衛兵

80 フィリピン Molave モラヴェ 木の名前

81 韓国 Goni コーニー 白鳥

82 タイ Atsani アッサニー

83 米国 Etau アータウ 嵐雲

84 ベトナム Vamco ヴァムコー ベトナム南部の川の名前

85 カンボジア Krovanh クロヴァン 木の名前

86 中国 Dujuan ドゥージェン つつじ

87 北朝鮮朝鮮民主主義人民共和国) Surigae スリゲ 鷲の名前

88 香港 Choi-wan チョーイワン 彩雲

89 日本 Koguma コグマ コグマ座

90 ラオス Champi チャンパー 赤いジャスミン

91 マカオ In-fa インファ 花火

92 マレーシア Cempaka チャンパカ ハーブ名前

93 ミクロネシア Nepartakパルタック 有名な戦士名前

94 フィリピン Lupit ルピート  冷酷な

95 韓国 Mirinae ミリ天の川

96 タイ Nida ニーダ 女性名前

97 米国 Omais オーマイ徘徊

98 ベトナム Conson コンソン 歴史的観光地名前

99 カンボジア Chanthu チャンスー 花の名

100 中国 Dianmu ディアムー 雷の母

101 北朝鮮朝鮮民主主義人民共和国) Mindulle ミンドゥル たんぽぽ

102 香港 Lionrock ライオンロック 山の名前

103 日本 Kompasu コンパス コンパス

104 ラオス Namtheun ナムセーウン 川の名前

105 マカオ Malou マーロウ めのう(瑪瑙)

106 マレーシア Meranti ムーランティ 木の名前

107 ミクロネシア Rai ライ ヤップ島の石の貨幣

108 フィリピン Malakas マラカス 強い

109 韓国 Megi メーギー なまず

110 タイ Chaba チャバ ハイビスカス

111 米国 Aere アイレー 嵐

112 ベトナム Songda ソングダー 北西ベトナムにある川の名前

113 カンボジア Sarika サリカー さえずる鳥

114 中国 Haima ハイマー タツノオトシゴ

115 北朝鮮朝鮮民主主義人民共和国) Meari メアリー やまびこ

116 香港 Ma-on マーゴン 山の名前(馬の鞍)

117 日本 Tokage トカゲ とかげ座

118 ラオス Nock-ten ノックテン 鳥

119 マカオ Muifa ムイファー 梅の花

120 マレーシア Merbok マールボック 鳥の名前

121 ミクロネシア Nanmadol ナンドル 有名な遺跡名前

122 フィリピン Talas タラス 鋭さ

123 韓国 Noru ノルー のろじか(鹿)

124 タイ Kulap クラー ばら

125 米国 Roke ロウキー 男性名前

126 ベトナム Sonca ソンカー さえずる鳥

127 カンボジア Nesat ネサット 漁師

128 中国 Haitang ハイタン 海棠

129 北朝鮮朝鮮民主主義人民共和国) Nalgae ナルガエ つばさ

130 香港 Banyan バンヤン 木の名前

131 日本 Hato ハト はと座

132 ラオス Pakhar パカー 淡水魚名前

133 マカオ Sanvu サンヴー さんご(珊瑚

134 マレーシア Mawar マーワー ばら

135 ミクロネシア Guchol グチョル うこん

136 フィリピン Talim タリム 鋭い刃先

137 韓国 Doksuri トクスリ わし(鷲)

138 タイ Khanun カーヌン 果物名前パラミツ

139 米国 Lan ラン 嵐

140 ベトナム Saola サオラー ベトナムレイヨウ

2016-10-26

0.999…=1は公理じゃねぇぇぇぇ

0.999…が1と等しい事がわからん中学生がいる、っていう増田エントリ[1]があって、

それに対してわっと氏が「等しいのは公理から」って返答[2]している。

[1] http://anond.hatelabo.jp/20161024040352

[2] http://watto.hatenablog.com/entry/2016/10/25/133000

いや、ちげーよ!!というのが本稿の趣旨である

ちなみに私は[1]の増田とは別人。

わっと氏の主張のどこが間違っているか述べる前に、

じゃぁ、0.999…=1となる本当の理由は何か、というのを先に書いておく。

そもそもなんとなくごまかして「0.999…」と書くことで9が無限に続いている事を表現しているが、

実際には人間の有限の寿命無限個の数字を書けるわけもない(ヒルベルトの「有限の立場」)。

なんで、実際には有限個数であるn個の9を書いて、そのnをどんどん大きくしているのである

で、nを大きくするたびに、0.999…が1に近づくというのが、「0.999…=1」の正しい数学意味である

高校数学をわかってる人向けに書くと、ようするにnを無限大飛ばしときの極限を考えているわけ。

で、わっと氏の何が間違っているのか。

おめー、0.999…=1が実数体公理だってんなら、有理数体や複素数体の上では「0.999…=1」は

成り立たないってのか!?

当然そんなわけない。

まり実数体公理の中でもっと重要公理であるデデキントの切断公理が満たされないケース(有理数体)や

順序の公理が満たされないケース(複素数体)でも「0.999…=1」は成り立っているわけで、

「0.999…=1は実数体公理」という主張はおかしい(注)。

じゃぁ何が重要なのか。

答えは実数体の「距離構造である(更に弱く「位相構造」でも良い)。

先に極限の話をしたとき、0.999…の桁数nを大きくすると、1に「近づく」って述べた。

「近づく」ってのは「距離が小さくなる」ってことなんで、距離関係しているわけだ。

わっと氏が触れているε-N0式の極限の定義でも、

二点間の距離を使って極限を定義してますしね。

実際、実数体距離として通常の距離とは別のものをいれると、

0.999…は1に近づくとは限らない。

単純な例としては実数xとyの距離d(x,y)を

d(x,y) = 0 if x=y

d(x,y) = 1 if x≠y

定義する(離散距離)と0.999…(n桁)と1との距離

nがいくつであっても常に1なので、nを無限大飛ばしても

0.999…は1に収束しない。

(注)もちろん、実数に関する性質を導くには必ず実数公理を使うわけだから

そういう意味では「0.999…=1」の証明実数公理を使うことにはなるんだけど、

そんなこと言い出したら「πは超越数」とか「5次方程式は解の公式を持たない」とか

実数に関する全ての定理実数公理を使っていることになるでしょ。

★追記

わっと氏の新しい記事を見て、わっと氏が何を勘違いしているのかわかった。

勘違いしているのは、デデキント切断公理の意義である

切断公理の意義は何らかの実数存在性を示せる事だ。

例えば

0.123456789101112131415....

という小数を考えたとき、この小数の桁数を無限飛ばした極限の

実数チャンパーノウン定数)が存在する事を示すには切断公理必要となる。

しかし0.999...の場合収束先の実数である1が存在することは

(体の公理より)自明なので、切断公理必要ないのである

記事の「これはデデキントを遠目で見てます」という記述を見る限り、

わっと氏は無限絡みで実数直線を2つにぶった切るときは常に切断公理

必要になると思っているようだが、これは正しくない。

上述したようにこのケースはデデキント切断公理必要ではないので。

デデキント切断公理は「実数直線を2つにぶった切るとどちらかに必ず端点が

存在する」という趣旨公理であり、この最後の「存在する」が必要になる場合に使われる

公理なのである

 
アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん