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

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

2021-07-20

飴と無知

映画のワンシーンのような写真、絵のような写真写真のような映画のワンシーン、写真のような絵、映画のワンシーンのような写真のような絵、写真のような絵のような写真、絵のような写真のような絵

汁なし坦々麺レトロニム

米ソよりお世話になっております

失敗の非嫡出子

双子の赤字一人っ子政策で解消へ

流石にスタン

コラソンアキノ/リンゴスター/マリアカラス/アーネストサトウ/ナオミキャンベル/ベアテ・シロタ

キレる仏図澄「このブドチンガ」

え?仕事で“シュミ”レーションを?

バイキングに含まれバイ

テジロ猿/ヤジロベイ

担保

Youtube広告を見せ続ける拷問

ニューカレドニアはク活用形容詞補助活用已然形ニューク+逆説のド+連語のニヤ

海ほたる↔︎陸ほたるいか

始まったばかりの溝口→み序の口

ヒモ柔道家→嘉納ジゴロ

豚を陸フグと呼ぶ人

サーターセンダーギー

想起ソバ

ワイヤレスイヤホンを洗っても壊さないことを売りにしている洗濯機

アンタレス↔︎ワタシモア

フラミンゴを見た人、フラミンゴンゴ

テムズ↔︎アシカタン

一人称がワシのタカ

ピンク古井戸

見ざる言わざるdismissal

禿げたフッサール

豪遊型リゾート

チャイティーコンサート

看取るネーム

アンチョビから出るビームアンチョビーム

残念なファミレス→ディスガスト

メガソーラー↔︎ハナガウーミー

ゴールデンカムイに含まれダブルインカム

鷹の爪の垢

四角い頭を丸くする→頭を丸め

アメリカ小学生攻撃→デュポン

アグネスラムに含まれスラム

酢をかけるナマハゲ→悪い子はビネガ

忙しくない/忙しない

威風堂々一風堂

のんびりとやってる銀行ゆうちょ銀行

秋も高輪ゲートウェイ

りんご/フラミンゴ/日本語/喃語/マンゴー/単語/援護/縁語

ココナッツアイスに含まれツァイス

セヴラック/セノビック

マグロ経済学

絶賛デッサン

帝王切開からマグナカルタ

大事マンブラザーズ↔︎ゴールドマンサックス

蟹部→クラブクラブ

見つからない調味料ミツカン

大きいエスカルゴ→Lカルゴ

バッハの車→マイバッハ

オードリータン↔︎ヘップバーン

今日ならいいや→今日楽的(享楽

片桐に含まれるカタギ

銃は社会の癌だ、ガンだけに

一人称home(ウチ)」

超人の奇襲「ツァラ•トゥス•トラ」

よりどり緑

椋鳩十/鳩摩羅什

エーゲ海↔︎悪い天上

能し力(抑止力

飲むと嘔吐する炭酸水ゲロルシュタイナー

晴れてるアメリカ→晴れリカ

隠された鷹の爪

don’t こい

likely きらいがある

singing 呻吟

break order 無礼講

スケルトン 透ける

セーラームーン集団的自衛権

リモコンチャンネルを回す

HDDに録画した番組早送り/巻き戻し

パソコン執筆

インクジェットグラビア

パーカー羽織

へしくらまんじゅう

崇めムノン

皇帝ションマーク

イナバウワー因幡

ベートーベンの答弁

Unboxing Day

めちゃくちゃ覚えておいて欲しい人「記憶の中心にでも置いて頂ければ」

焼き討ちを見た人「ひでーじゃん延暦寺

おもちゃではないと思っているプードル

万里の長城万里もない

めくるめくの久留米

選りすぐりのリス

行司白居易のこったあ知りません」

対偶ダイソー あるならそこにあります

上手くいった人「計画が表目に出た」

手前味噌↔︎奥の醤油

葉っぱ買いたい/発破解体

秩父市/父武士

蛸の価値は如何ほどに?

敷衍できない人、プエン

いたわる/板割る

明日の晩にはミョウバンがとどく

めんどくさくなったキリスト教徒「あーめんどくさい」

揺れ過ぎてシンドバットになった

七面鳥独裁をやめたよ?なぜかな

しちめんどくさいから。

ごっこではないイタチ

同時進行する川→長良川

中山道の急な河川道路

千客万来→万客千倍

くるまラーメン↔︎ラーメンくるま

小池百合子「待てばカイロ日和あり」

匈奴人「オルドスにおるどす」

楽天的戦後小学生お墨付き教科書

すぐにアカウントを捨てる動物アカウントステガ

呵呵大笑と笑うとと(父)

サムソナイト↔︎アツソモーニング

チャンパーライス

仏陀をぶった斬る

逓信省/低身長

サービス精神↔︎奉仕マインド

ティシュー/ティッシュ

ディーテイル/ディティー

レトロウイルス/ウィトルウィウス

シスタルコス地球は動いてない

前半で感動させ涙で目をにじませることを想定して、後半は適当作画しているアニメ

電子卓上計算機は「計算機」の部分が大事なのに電卓と略されている

踏み絵をする近衛文麿「この絵踏みまろ」

病原菌がたくさんいる国は?→Germany

追い詰められるトランプ→弾劾絶壁

恋のヘキサゴン/愛のペンタゴン

腹違いに含まれ埒外

ちょっとバズってる池→プチバズの池

救世主どんでん返しシャブタイ返し

秋の味覚/嗅覚/触覚/聴覚/視覚

zoo zooしい動物

ロシアは赤だが、ロシアンブルーは青

アリペイにいえば...

弁証法的なナッツヘーゲルナッツ

戦車地雷メイク

とはいえ、をポワティエと同じイントネーション発音する人

ガラガラヘビで賑わってる店

イキリ寿司

コドモオオトカゲ

天羽声明に含まれモーセ

票取るピョートル

黙って物々交換

バタくさい/バタフライ/バタフライ

2寸の虫には10分の魂

教室に窓がなかったので、卒業生が集まっても同窓会が開催されない学級

キリスト説教

ママごとはパターナリスティック

5分厘(ゴブリンは5分何厘なのか分からない

どっちか分からない人。タバコは吸いますか?すいませんが吸います

みんなやめる政党→辞任党

吸えず運河

シモニデセ/シモニデセ/シモニデス/シモニデスル/シモニデスレ/シモニデセヨ

ポジティブ朱熹「老人は年を取りにくく、勉強も大変にならない」

レアアースを珍しい地球だと思ってる人

麓で行われる頂上決戦

名誉がないので名誉毀損の被害合わない人

寝言著作権

同性婚/どうせイコン

センチメンタルアメリカ人→インチメンタル

死んだ草間彌生→草葉彌生

円の下の力持ち→日銀買支え

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つにぶった切るとどちらかに必ず端点が

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

公理なのである

 
ログイン ユーザー登録
ようこそ ゲスト さん