  |
はてなキーワード: チャンパーとは
ボクサーを撲殺したのは僕さ
これから満で数つけるわ
ナンを何枚も食べるのなんて、なんでもないよ
新患の新幹線に関する新刊に新館を立てて震撼し信管が作動する。
ケニアに行ったら生贄や
柑橘類の香りに歓喜し、換気を喚起したが乾季が訪れたので、寒気がした。
塗装を落とそうか。
観光客がフイルムに感光させた写真を刊行することが慣行になった。
サボってサボタージュ
景気が良くなりケーキを食べる契機を伺う徳川慶喜（とくがわけいき）
夫を成敗するオットセイ
つまらない妻の話
竹の丈は高ぇなー
餅を用いて持ち上げる
ロストしたローストビーフ
サボテンの植え替えサボってんな
過度な稼働は可動範囲を狭める
伯爵が博士の拍手に拍車をかけて迫真の爆死をし白寿の白人を白紙にもどす。
紅葉を見て高揚する
甲子園で講師をする公私混同した孔子の実力行使には格子窓も耐えられない。
死んでんのか？「心電図を取ってみよう！」
夜祭で野菜を食べる。
信玄餅を食べながら震源を特定するように進言する新元素を発見した人。
蜂の巣（honeycomb）を見てはにかむ
五反田で地団駄を踏む
ようやく要約が終わった
海溝で邂逅
豪華な業
甲板で甲板をかじる
甲板で乾パンをかじる
店頭で転倒
大枚をはたいてタイ米を買う
醤油をかける人「えっっ？」
神田でした噛んだ
少食な小職
牛の胆嚢の味を堪能する
あの娘にはどう告っても（どうこくっても）慟哭する結果に終わるだろう。
キーンという高音の起因が掴めない。
こんな誤謬は秒でわかるだろ
壊疽した箇所が治るというのは絵空事だ
経口補酔液
痴的好奇心
セントーサ島に行くのは正恩が先頭さ
軽微な警備
冬眠する島民
ベットは別途用意してください
The deserted desert in desert desert.
九尾のキュービズム
罹災者へのリサイタル
画家の画架
不納が富農になるのは不能だ
理工がRICOHに利口な履行
I sensed tha it is in a sense sense.
私はそれをある面では扇子だと感じた。
鯖を食べている人と、それを見ている人の会話
鯖 ça va？
ça va 鯖
ça va
ゆめゆめゆめをみるわけにはいけない
早漏で候
凪に難儀
東上線に搭乗した東條が登場
高校を後攻で煌々と口腔で孝行
蝉が転んでセミコロン
道徳をどう説く
写真はフォトんど撮りません
ダリ「絵ぇかくのだりぃなあ」
華美な花瓶のカビに過敏に反応
檻に入っておりいった話をする
夏のおサマー
夜は寝ナイト
渦中のカチューム
渦中のカチューシャ
リスボンでリスがborn
どうないはどないなってんねん
苫小牧でてんてこ舞い
市内を復旧しないと
石狩の石を借りる
おが置いてあるのを見た人「おはおっかねぇーから置かねぇ方がいいぞ」
砂がどしゃーw
東上線に登場した東條が登場
飽きない商い
おなか吹田市
観劇で感激する
側転に挑戦し即、転倒
別件を瞥見
凹地のお家
魚を初めてみた人「うぉー」
カラヤンの頭の空やーんw
豚をぶった仏陀
只見線をタダ見w
菊名でそんなこと聞くなよ
五秒で死んで御廟に埋葬
がらんとした伽藍
有給を使いすぎて悠久の時が流れた
長谷に想いを馳せる
Thinkerの真価
不具の河豚
暗記のanxious
半世紀にわたる半生での藩政を反省
タンチョウが単調増加
ショック死内親王w
カルカッタの石軽かった
天皇のこと知ってんのー
蒋介石を紹介した商会を照会した商會の船で哨戒する
其方のソナタ
先王に洗脳される
防潮堤で膨張した傍聴人
砂漠で鯖食う鯖を裁く
筒に入った膵島
サイコロを使った心理テスト(psychological test)
カラシニコフが辛子個踏んだ
皇帝の高弟が公邸の校庭の高低差を肯定する工程に拘泥した記録を校訂
にようかで酔うか？
うるさい人が売るサイ
どんなもんだい、を、どんなムンバイ、と言い間違える人
透徹した饕餮の眼球
チャカで茶菓を破壊
slimyなすり身
ゆうほど広くない遊歩道
いにしえのイニシエーション
コーランをご高覧ください
K殻の傾角を測定する計画
協賛した共産党員に強酸をかける
負けたのは聖者の静寂のせいじゃ
裏地見るウラジミール
カミオカンデの上に紙置かんでw
県大会がおわり倦怠感を感じる
夕暮れのユーグレナ
ストライキをする公務員に呼びかける人「 Stay calm（公務）」
エド・はるみの穢
祭壇を裁断
腐卵ダースの犬
全然人が集まらないクラブの人「参加数人は我々の十八番ですから。だけに。」
四苦fuck
都バスが人を跳ね飛ばす
怒るカロテン「なにカロテンねん」
嫌がる慰安婦「いやんっ」
かえるがえる帰る蛙
沈厳な青梗菜
トリコロールの虜
布陣を組む夫人
栗けっとばすクリケット🦗
婉容と遠洋漁業
アマルガムで余るガム
ハラスメントの疑いを晴らす
滋賀を書けない人を歯牙にも掛けない
他意はないタイ人の鯛の態度
鯛が蛇足
ダジャレではない↑
割と面白い
ハラッパーの原っぱ
紫に関して思案を巡らす
Huluが夏の風物詩だと思っている人「Huluですなぁ」（風流）
下調べのムニエル
わからないので
意味ない諱
よく分からんリポーター「うわぁ〜美味しそうですね！少なくとも不味そうには全く見えません！」
どうしても下がりたくない人「黄色い線の内側は、境界を含みますか？？」
計算ができない人
着ていく服を決めた高橋是清「これ着よ」
enough、enoughは工夫がenough
負け負け山（カチカチ山）
薬師丸せま子
トーマス・マンの書いたふるさと「うさぎ〜おーいし、魔の山〜♫」
その心は
焼結が猖獗を極める
これはstaleだから捨てるか
衒学的な弦楽を減額
完全な勧善懲悪
イボ人の疣痔
イブに慰撫
（訳 ぬるぬるしてるありふれた魚）
盲いるのに飯いるの？
アーヘンで阿片を吸った人「あー変」
毒吐く独白
明借りるアスカリ（車）
丁寧な砂浜「Could you九里浜」
ゴーンと奉公
その心は
サンクチュアリに山窟あり
熟れたウレタンは売れたんか？
清澄な声調を静聴し成長
プエルトリコで増える虜
象さんを増産
兄弟が今die
Dose heで始まる疑問文に答える京都人、Yea, he どす
ソフィカルのソロカル
美人局に筒持たせる
十把一絡あげ
篤信な特進が涜神を得心
これは何という植物かな？ムユウジュでは？あそっか、なるほど。
クートゥを食うとぅいいよ
マイソールで昧爽に埋葬
ドクサは毒さ
暗殺で朝死んだ
クラシックについて語る人をそしる人「弦楽なんてペダンチックだなあ」
凛々しいリリシズム
衛生的な俳人
御髪も亂とはオクシモロンだ
コロナ後の世界を分析する学問→postcoronialism
影響が色濃いイロコイ諸族
あてのあてないアテナイ
屋根裏を整理してたら古いパソコン（といっても2006年頃）が出てきたのでブラウザの検索履歴をサルベージしてみた。
当時自分が何にハマっていたのか思い出されていろいろ懐かしい…
パラ様 生え際
ホケマクイ
ブッチーン 灯花
ぶっこぉすぞー
るくしおん しびれるぜ、鋼の
ティプトリー・ショック
「デストロイがいいね」と君が言ったから六月二十四日はＵＦＯの日
わたるが死んじゃう
琵琶湖タワー
猫いらず 口の周り 光る
尸条書
立方晶窒化炭素
ドーマン法
ひだまりスケッホ
空飛ぶ冷し中華
セーラー戦士が全員ブルマーだったら、アニメ史を変えていたと思うね
34歳児
実はまだ２階に
アリオク
緑はいらない子
そうです。あのコが僕の畏敬する天使様なのです
おかしとか食べる
Ｔ－３４が倒せない
さあ牛だ
セノバイト
omegaの視界
ぽこにゃん
だぞなもし
倒福マーク
ボッキアウト
フムン
ユープケッチャ
目なき顔のジールバ
やったー＋１ シヴィライゼーション
ルロス ロルス
玉音盤奪取
ハレとケ
もえたん 06話
路肩のピクニック
白楽電の詩
ガッシボカ
聖なんとか女学園
クートニアン
お脱ぎなさい
グンニョキ
強さ激しく変動
南斗聖拳108派一覧
みなぎる力がみなぎるぜ
力こそパワー
重い生理が来たみたい
４ひえた
ムーミンパパ海へいく
チャンパーノウン定数
見知らぬ国のデイトリッパー
紫暗号
いざり
比留間 京之介
この娘、最後死んじゃうんだよね
旧神なんていないよ
棒シムーン
S級だけどめどいんでB
オレモダビール
"オナホさん"
アントノフ 積載量
黄金の真昼
Let's Beginning to Look Alot Like Fishmen
けいせい出版
共生るんです
ガネッコ
莫迦め 死んだわ
スコープドッグ 装甲厚
かみそり半蔵地獄攻め
クンデラ 不滅
如意棒 重さ
ちびくろサンボ 枚数
俺のケツをなめろ
大胖女人
大司令症候群
gunyoki
グンニョキ
おしつおされつ
どうしてエレクチオンしないのよぉぉぉぉ
こぐにっしょん
虹作戦
燕山夜話
ドラ28
中国人の部屋
エロ イッカイヅツ
菊屋橋101号
システムショック
ゲバルト・ローザ
完全黙秘
唸るコカトリス亭
みずずちん
なんてこった 死の宣告
アンダーダーク
ロンゴ・ロンゴ
ゲオルギウス
毒薬仁
まじかるぴゅあソング
だいす☆くえすと
つめたく冷えた月
フンカーリート
Shang-Du
水エタノール噴射
願望機
舟に棲む
rom ヘッダ 削る
長靴いっぱい食べたいよ
陣形技 閃き
ハリマオ
ぺちんぺちん
カタリナ おそるべし
野月まひる
マライア 多摩
素敵医師
相沢 祐一 最強
みなみおねいさん
あまぞｎ
夢のクレヨン王国 SONGBOX
振武刀
クリントワン
ロイさーん
レムコレクション
カードゲーム テケリ・リ
グレゴール・ザザ虫
きみはホエホエむすめ
東方夢終劇
ファミソン8BIT
生きなさいキキ
dwarvish mattock
蟹工船 光線
パラシュート部隊 突然に
ゴクイリイミオオイ
アウト・オブ・眼中
モルディギアン
納骨堂の神
ヴェクナ
パラシュート部隊 突然に
情無用ファイア
末期 少女病
唸るコカトリス亭
アカディネの泉
ショスタコーヴィ
ジャック ケッチャム
シャノン 情報理論
ガロアの郡論
ルルスの術
ラヴォアジエ
宇津田さんの死
レムコレクション
佐保姫 信太の森
ころがる石のような俺の生き様
はしれぐずども
紫暗号
白い神兵
火のバプテスマ
清家理論
サールクラフト
lycanthropy
某研究者
アナ姫さま おげんきですか
オナホ 2番目
宇宙麻雀
電戦トリオ
乳ロマンサー
私は痛みだ
くやしい、でも ビルケナウ
グレゴール・ザザ虫
新藤幸司 CV
Chante キミの歌がとどいたら 先生
開路に時限のある リレー
Drizzt
ちんぽ生やして出直して来い
男根 恐ろしいまでに
コロラド撃ち
HEARTWORK
誠ぉっ そこにいるんでしょ
ずっとオレのターン
ぼくはぼくであること
おれがあいつで
アラバハキ
幻影都市
わたしこそ しんの ゆうしゃだ
クトゥル スペースジョッキー
フラッシャー付自転車
神よりも弱いただのオセロ
おがわみめい
水無神知宏
ＣＡＲＮＩＶＡＬ 小説
じゃこつばばあ
生と死の境界 安置
うぉ、まぶしっ
ゼロで割る
ココロン
有尾人 フィリピン
子供達を責めないで
圧力計 連成計 BV
エドガー ダケェ
おびんずる
にこにこ商事
ひろ
飴と無知
映画のワンシーンのような写真、絵のような写真、写真のような映画のワンシーン、写真のような絵、映画のワンシーンのような写真のような絵、写真のような絵のような写真、絵のような写真のような絵
米ソよりお世話になっております
失敗の非嫡出子
流石にスタン
コラソンアキノ/リンゴスター/マリアカラス/アーネストサトウ/ナオミキャンベル/ベアテ・シロタ
キレる仏図澄「このブドチンガ」
テジロ猿/ヤジロベイ
湯担保
ニューカレドニアはク活用形容詞の補助活用の已然形ニューク＋逆説のド＋連語のニヤ
豚を陸フグと呼ぶ人
サーターセンダーギー
想起ソバ
ワイヤレスイヤホンを洗っても壊さないことを売りにしている洗濯機
アンタレス↔︎ワタシモア
見ざる言わざるdismissal
禿げたフッサール
豪遊型リゾート
看取るネーム
鷹の爪の垢
四角い頭を丸くする→頭を丸める
忙しくない/忙しない
りんご/フラミンゴ/日本語/喃語/マンゴー/単語/援護/縁語
セヴラック/セノビック
絶賛デッサン中
大きいエスカルゴ→Lカルゴ
銃は社会の癌だ、ガンだけに
よりどり緑
エーゲ海↔︎悪い天上
能し力（抑止力）
隠された鷹の爪
don’t こい
likely きらいがある
singing 呻吟
break order 無礼講
スケルトン 透ける
へしくらまんじゅう
崇めムノン
ベートーベンの答弁
Unboxing Day
めちゃくちゃ覚えておいて欲しい人「記憶の中心にでも置いて頂ければ」
焼き討ちを見た人「ひでーじゃん延暦寺」
めくるめくの久留米
選りすぐりのリス
上手くいった人「計画が表目に出た」
蛸の価値は如何ほどに？
敷衍できない人、プエン
いたわる/板割る
めんどくさくなったキリスト教徒「あーめんどくさい」
揺れ過ぎてシンドバットになった
しちめんどくさいから。
同時進行する川→長良川
千客万来→万客千倍
匈奴人「オルドスにおるどす」
呵呵大笑と笑うとと（父）
仏陀をぶった斬る
ディーテイル/ディティール
前半で感動させ涙で目をにじませることを想定して、後半は適当に作画しているアニメ
電子卓上計算機は「計算機」の部分が大事なのに電卓と略されている
追い詰められるトランプ→弾劾絶壁
ちょっとバズってる池→プチバズの池
アリペイにいえば...
ガラガラヘビで賑わってる店
イキリ寿司
コドモオオトカゲ
票取るピョートル
黙って物々交換
2寸の虫には10分の魂
教室に窓がなかったので、卒業生が集まっても同窓会が開催されない学級
どっちか分からない人。タバコは吸いますか？すいませんが吸います。
みんなやめる政党→辞任党
吸えず運河
シモニデセ/シモニデセ/シモニデス/シモニデスル/シモニデスレ/シモニデセヨ
ポジティブな朱熹「老人は年を取りにくく、勉強も大変にならない」
麓で行われる頂上決戦
死んだ草間彌生→草葉彌生
円の下の力持ち→日銀買支え
今関西を通過中の台風の名前はジョンダリと言うらしい、北朝鮮語でひばりを指す言葉だ。
https://www.jma.go.jp/jma/kishou/know/typhoon/1-5.html
台風の名前は各国がつけた名前140個を順番に使い、最後まで行ったらまた最初に戻って使い回すように決まっているらしい。
各国がつけてる名前も大概変だが、日本のつけてる名前も星座由来だが台風ヤギは無いだろって感じだし、全体的に不思議になるような間の抜けた名前揃いで台風の名前をつける方々のセンスが謎だ。
3 北朝鮮（朝鮮民主主義人民共和国） Kirogi キロギー がん（雁）
9 ミクロネシア Ewiniar イーウィニャ 嵐の神
14 ベトナム Son-Tinh ソンティン ベトナム神話の山の神
17 北朝鮮（朝鮮民主主義人民共和国） Jongdari ジョンダリ ひばり
23 ミクロネシア Soulik ソーリック 伝統的な部族長の称号
27 米国 Barijat バリジャット 風や波の影響を受けた沿岸地域
29 カンボジア Kong-rey コンレイ 伝説の少女の名前
31 北朝鮮（朝鮮民主主義人民共和国） Toraji トラジー 桔梗
32 香港 Man-yi マンニィ 海峡（現在は貯水池）の名前
45 北朝鮮（朝鮮民主主義人民共和国） Podul ポードル やなぎ
52 フィリピン Hagibis ハギビス すばやい
59 北朝鮮（朝鮮民主主義人民共和国） Kalmaegi カルマエギ かもめ
60 香港 Fung-wong フォンウォン 山の名前(フェニックス)
65 ミクロネシア Sinlaku シンラコウ 伝説上の女神
67 韓国 Jangmi チャンミー ばら
73 北朝鮮（朝鮮民主主義人民共和国） Noul ノウル 夕焼け
74 香港 Dolphin ドルフィン 白いるか。香港を代表する動物の一つ。
79 ミクロネシア Saudel ソウデル 伝説上の首長の護衛兵
83 米国 Etau アータウ 嵐雲
84 ベトナム Vamco ヴァムコー ベトナム南部の川の名前
87 北朝鮮（朝鮮民主主義人民共和国） Surigae スリゲ 鷲の名前
93 ミクロネシア Nepartak ニパルタック 有名な戦士の名前
98 ベトナム Conson コンソン 歴史的な観光地の名前
101 北朝鮮（朝鮮民主主義人民共和国） Mindulle ミンドゥル たんぽぽ
112 ベトナム Songda ソングダー 北西ベトナムにある川の名前
115 北朝鮮（朝鮮民主主義人民共和国） Meari メアリー やまびこ
121 ミクロネシア Nanmadol ナンマドル 有名な遺跡の名前
129 北朝鮮（朝鮮民主主義人民共和国） Nalgae ナルガエ つばさ
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に近づくとは限らない。
d(x,y) = 0 if x=y
d(x,y) = 1 if x≠y
0.999…は1に収束しない。
（注）もちろん、実数に関する性質を導くには必ず実数の公理を使うわけだから、
そういう意味では「0.999…=1」の証明に実数の公理を使うことにはなるんだけど、
そんなこと言い出したら「πは超越数」とか「５次方程式は解の公式を持たない」とか
実数に関する全ての定理は実数の公理を使っていることになるでしょ。
★追記
わっと氏の新しい記事を見て、わっと氏が何を勘違いしているのかわかった。
例えば
0.123456789101112131415....
という小数を考えたとき、この小数の桁数を無限に飛ばした極限の
実数（チャンパーノウン定数）が存在する事を示すには切断公理が必要となる。
しかし0.999...の場合は収束先の実数である1が存在することは
新記事の「これはデデキントを遠目で見てます」という記述を見る限り、
わっと氏は無限絡みで実数直線を２つにぶった切るときは常に切断公理が
必要になると思っているようだが、これは正しくない。
上述したようにこのケースはデデキント切断公理は必要ではないので。
デデキント切断公理は「実数直線を２つにぶった切るとどちらかに必ず端点が
