はてなキーワード: ラムとは
直接チャットやdiscoで駄弁るが必須では無いなら、Ronin は増田の需要満たしてくれそうよ
クエストに乱入したり募集したりって遊び方も出来る。YouTube を見るとええでんでないかな、雰囲気わかるで
MMOタイトルだと、こういうのあるらしいぞ。増田に刺さるかは知らんけど、やっぱマイクラ型(サウンドボックス型)の方が寿命は長いと思うよ
【公式サイト】 https://playpaxdei.com/
【公式サイト】 https://bitcraftonline.com/
【公式プロモ】https://youtu.be/cgp_Yzou_VE
久々にテキーラ買って飲んだが美味い!
度数40度くらいの酒だと他にはウイスキー、ウォッカ、ジン、ラム、ブランデーあたりだろうか。
それぞれの酒にそれぞれの美味さがあるけど、テキーラは酔いが独特だよね。気持ちよく酔える。そしてそのまま寝るとすげー気持ちいい。
そんな感じで良い感じに酔ってきたので過去に飲んだテキーラの感想でも書いてみようかな。
諸兄の酒ライフの足しになれば幸いだ。
ざっくりとした分類として、熟成期間ごとにブランコ(シルバー)、レポサド(ゴールド)、アネホに分かれる。
アネホを更に熟成したエクストラ・アネホがあったり、ゴールド=レポサドじゃないとかあるらしいけどその辺は興味があったら調べてくれ。
シルバーはカクテルによく使われるらしい。アネホは高級品だから飲んだこと無い。
自分は大体ストレートで飲むからレポサド/ゴールドを飲むことが多いね。
銘柄 | 感想 |
クエルボ・レポサド | 日本で一番メジャーなテキーラじゃないだろうか?テキーラと言えばこれ。基準になる味なので可もなく不可もなく。 |
クエルボ・1800レポサド | クエルボのチョイ高バージョン。値段の差ほどの違いは感じなかった。レポサドで良いかな。 |
サウザ・ゴールド | クエルボと並ぶメジャーなテキーラ。安い。味はこれも可もなく不可もなく。 |
サウザ・シルバー | めっちゃ安かったんで買った。味はシルバーって感じ。 |
サウザ・ブルー レポサド | サウザのアガベ100%バージョン。美味いしアガベ100%の割にお手頃価格。おすすめ。 |
オルメカ・レポサド | あんまり癖が無くマイルドな味。値段はクエルボよりちょい高くらい。 |
カミノ・レアル ゴールド | 自分の口には合わず正直また買いたいとは思わなかった。昔は他と比べて一番安かったが最近高くなった。 |
アガバレス ゴールド | 超おすすめ。アガベ100%で美味いのに安い。けど最近値上がりしたので昔ほどのお得感が無くなった。 |
タランチュラ アズール | 甘い。スピリッツじゃなくてリキュール、完全にカクテル用。テキーラを飲みたい人は別の物を買おう。 |
サウザ・ブルー レポサドかアガバレス ゴールドがおすすめ。やっぱりアガベ100%は美味い。
昔はアガバレス ゴールドが断トツおすすめだったけど値上がりしたんでサウザ・ブルー レポサドでもどっちでも良いやって感じ。
真面目な話、リベラルの本来の役割はこういった権力側のメデイアスクラムに怒って言論で抗議すべきなんだよな
とは言え、ギリシャ人は明らかにアルファベットというものの発明者であって、それ以前のフェニキア文字などのアブジャドとは一線を画していると思うぞ。フェニキア文字(やアラム文字や古代エジプト文字)はアルファベットではないからね。
また、ラテンアルファベットがギリシャ文字のバリエーションだというのは確かにそうなんだけれども、ラテン語に合わせて改変しているわけで、その点がラテンアルファベットをほぼそのまま踏襲した英語とは違っている。中世以降の英語は明らかに Latin-envy だろ。スペリングもそうだし古英語時代の固有文字まで廃止してラテン語(とフランス語)に媚びてやがるし。
(x x)もラムダ項だよ!
の具体的になんて本(ネットのpdfでもよい)の何ぺージあたりからが元増田の問いにとって核心なのって話よね
てか、ラムダ計算よりむしろ記号論理学のほうが学問としての領域が気持ち広くなってね?
2. ラムダ項M, Nに対して (M N) はラムダ項。この形のラムダ項を適用(ラムダ適用)という。
(後略)
という定義があるんだけど、これに基づけば(x x)というのもラムダ項じゃないのって思ってた。
でもラムダ式で(x x)なんて形のは見たことないし、違うんだろうなと。
でも論理的にはなぜ違うのか全く納得できてないので(納得感が正しさにとって問題じゃないとはいえあえて言うが)(x x)だってラムダ式でしょって胸を張って言い張れる。
「Aかつ¬Aの証明を得ることができる」に対して、「いいや得られない。お前がそのように見せかけているだけだ」おれの計算(記号処理)手続きこそ推論規則に適っているし正しいと、反論されたら?
また、「そもそもここでいう『得る』とは」どういう意味か?と突っ込まれたら曖昧でなく『得る』ということが『得る結果の具体例ではなく』『どういうことか』記述できるのかという話です。
¬¬A→Aという規則に基づいた結果が
¬¬¬¬¬A→¬¬¬(¬¬A)→A
なんだよ!と言い張られる。もちろん常識的にはおかしいと思えますが、いまは突き詰めたことを言っています。
一般には、¬¬¬¬¬Aを書き換えるために、この記号列の一部分¬¬Aに着目して、規則からAと書き換えられるから、この結果を¬¬¬(¬¬A)に代入?して、¬¬¬Aに書き換えられる、という思考プロセスをとるでしょう。
しかしあくまでものとしては、ここで考えているのは¬¬Aではなく¬¬¬¬¬Aなわけです。
規則通りに書き換えられてない、言い換えるなら同じ規則を使っていないという主張に対して、そもそも同じ規則が適用できているということ、規則が同じとはどういうことか自体を定義や公理に組み込むことはできるのか。
矛盾や証明ということはまだその概念を記号列で示す余地があるが、規則が同じかどうかという定義もとい「規則」は厳密に定義可能かということです(無定義語として関係性の定義でもよい)。図形が合同か、みたいな合同の概念の定義など比べてもまたレイヤーが一段メタ的になっていて厄介というか。「違うのは自明じゃないか!」といっても、自明は説明できてこそ自明なのですが、ここでいう同じかそうでないかということについてはそれを根拠だてる定義は原理的に無理なんじゃないかと思えてしまいます。
さきほど『得る』という言葉に突っ込まれたら云々ということを言いました。
ブコメには「自然言語の曖昧さで数学をの厳密さ否定しようとしてるだけだ」というのがあります。
別に私は自然言語の曖昧さを問題にしていません。そこは問題の本質ではないです。
むしろこうした言葉は一般に疑いようなく明らかなものです。「左右」とか「これやあれ」みたいな近称や遠称の概念などもそう思われるでしょう。
しかしむしろこれらの概念には一切曖昧さはないという前提に立っても、これもごく単純な話で、曖昧でないからといって、いままでその概念を持ってなかった知性的存在に対して、「これ」や「左右」といった「概念」を、対面やジェスチャーを使えばいざしらず、記号列を用いて一意に定義できる保証はないよね、ということです。定義の厳密さを担保する必要条件が、記号論理学に基づくということにあるのなら、数学を厳密とのたまうかぎりにおいて、当然対面やジェスチャーではなく、これとか同じとかみたいなもっとも原始的な部類の言葉まで全て記号で一意に定義できることを示せなければならないでしょう。
あとあなたが↓のトラバと同一だと言ってくれたら以降↓の方のツリーに返信書いて一元化するのでそのつもりで
https://anond.hatelabo.jp/20240216215810
ちなみに関連しそうな話題として自分自身ラムダ式を勉強した経験があるけど
2. ラムダ項M, Nに対して (M N) はラムダ項。この形のラムダ項を適用(ラムダ適用)という。
という定義があるんだけど、これに基づけば(x x)というのもラムダ項じゃないのって思ってた。
でもラムダ式で(x x)なんて形のは見たことないし、違うんだろうなと。
でも論理的にはなぜ違うのか全く納得できてないので(納得感が正しさにとって問題じゃないとはいえあえて言うが)(x x)だってラムダ式でしょって胸を張って言い張れる。
分かってる人からみれば、そして俺にとっても¬¬¬¬¬A→Aと同程度にバカげた主張なんだが、そのわかってる人にとっても「この規則ならこういうことが言えると思うのに、なんで正解とされてるのと自分が思ってることが違うの?」ってなることはあるはずで、それはこの世で一番数学ができる人であってもありえること。この世で一番数学ができる人さえ規則を正しく適用できていないらしいとき、そもそも正しい適用とはなんだってなりそうに思うんだが。
親には国公立大の学費を払ってもらい、月数万円の仕送りを貰っていたが別に太い実家ではない(と思っている)
就活は氷河期とリーマンショックの間の世代で大学を出て就職は普通にできたから運は良かった方だ
学生の頃にバイト代を貯めて韓国とタイに行き、日本と違う空気や文化やメシに触れるのが楽しかった
地方の安月給の会社に就職してからも通勤途中でよく読んでたのは海外旅行のweb記事で、それによく出てきたのが会社辞めて世界一周してる人たちのブログとかだった
なんだかんだ5年で会社辞めることになって、退職届出した時に貯金が250万ほどできており、ふと世界一周できるな?したろ!
行きたい所は3つだけ決めていたが、ルートは未定で、基本的に現地で次の目的地への交通手段を手配する感じだ
最初の目的地はネパールで、上海から昆明まで40時間超の長距離列車で移動し、そこから飛行機でカトマンズに入る
漫画版神々の山嶺を読んでエベレストを見たかったので、ベースキャンプへのトレッキングをした
4500mを超えたあたりからクソしんどかったが生のヒマラヤは鮮烈だった
そっからインドに行き、一ヶ月ほど時々腹を壊しながらカレーを食べつつインド人に騙されたり頻繁にボラれたりし、スリランカからシンガポールへ飛び、シンガポールから第二の目的地タイのバンコクへ陸路で移動する
その後ビザが必要なミャンマー以外のインドシナ半島各国を麺や焼き飯を食いながら一周し、次は西へ行きたいと氷入りのビールを飲みながら思っていたところ、マレーシア航空のドバイ行き格安チケットを見つけたので予約し、ドバイではオイルマネーの力に驚嘆し、世界一高いビルのブルジュハリファは入場料が高かったので外から見た
飛行機で紅海対岸の禁酒国家イランへ、イランは旅人には親切にしろと刷り込まれているムスリムの国なのでいい所だが、テヘランのバスで男にケツを撫でられる
後で知ったがゲイがバレると当地では死刑になるので外人をターゲットにするそうだ
イランは当時も経済制裁の影響でatmでのキャッシングが使えず、米ドルを街中で両替するのが面倒なことと、酒が無いので1週間くらいで出国することにし、バスを乗り継ぎアルメニアに抜けて飲んだワインはクソうまかった
当時まだグルジアだったジョージアはワインもうまいが料理がとてもうまい、元栃ノ心さんがワインの輸入するそうでがんばってほしい
シュクメルリが話題になったがヒンカリ、ハチャプリ、ほか名前もわからん料理などどれもうまかった
黒海沿いに移動して、パンがクソうまいトルコでカッパドキアとイスタンブールを回り、ボスポラス海峡を渡ってようやくヨーロッパへ入り、ブルガリアでヨーグルトを食べて元琴欧州鳴戸親方の生地ヴェリコタルノボを歩いた
ヨーロッパはさすがに文明的で、旅するのに快適であまり苦労した覚えがない
バルカン半島経由で北上し、ポーランドから船でスウェーデンに渡り、ノルウェーでサーモンを食うため北極圏の町トロムソに行き、魚屋で買ったサーモンとオスロで買っておいたスシライス(カリフォルニア米)を炊いて寿司を作って、ホステルで一緒になったドイツ人カップルに振る舞いながら500mlで1本700円くらいするシロクマのラベルの缶ビールを飲んでいたところ、オーロラが出たので見られたのは幸運だった
ノルウェーは物価が高すぎたためオスロ空港で出国前に2晩ほどベンチで寝てたら警備員に注意される
インドで知り合ったスコットランド人学生を訪ねてライアンエアーでオスロからエジンバラへ、夜ギグに行こうと言われて半地下のクラブへ連れて行かれる
さっきまで壇上でサックスを吹いてたシュッとした青年が普通にアンフェタミンを勧めてきてびびったが、すでにエールで酔っ払っていたので楽しかった事しか覚えていない
そこからメシと酒がクソうまいバルセロナへ飛び、夜な夜なバルでセルベーサを飲み、昼はパエリアを食ったりおやつにバレンシアオレンジをかじり、マドリードの安宿の屋上テラスの藤の椅子に座ってチーズとハモンで赤ワインをやりながらどこに行くか迷っていたところ、サウジアラビア経由エチオピア行きのチケットがあったのでアフリカに入り、大地溝帯に沿って南下し、ケープタウンまで陸路で移動することにした
アフリカはどこの国も同じで当然黒人ばっかりでメシがまずく、衛生状態も治安も悪く交通機関もクソだが、ヤリまくって産みまくって死にまくるという原始の人間の生活を見られたほか、やたらと多い子供は汚いがかわいかった
あとサバンナは最高にきれいで、朝焼けの露に濡れた草原が輝く景色は忘れがたく、ライオンやキリンやゾウは動物園で見るのと全く違う美しさだった
ナミビア、ボツワナ、南アフリカはサブサハラの中でも経済が強いのでそれなりに文明的な旅ができたが、ナミビアの乗合バンのエンストはしょっちゅうで、止まったバンを乗客みんなで押しがけした
乗客同士で一体感が生まれて面白い体験だったが、ライオンのいるサバンナで夜中2時に止まった時はヒヤヒヤした
ケープタウンで久しぶりにうまいワインを飲みながら南米行きのチケットを探して、カタール経由ブエノスアイレス行きを見つけ、カタール航空の機内食のハーゲンダッツが久しぶりのまともなアイスクリームだったので感動して3個も食べた
アルゼンチンは肉とワインがメチャ旨く安いので、毎日安ワインを1本ずつ開けた
チリのワインも当然うまく、フロンテラというのが安くてお気に入りだった
このワインは日本でも飲めるが、やはり現地と味が違うような気がする
アルゼンチンやチリはバス網が発達していて、車内は三列シートが基本でゆったりでき、パーサーがいて食事やワインのサービスもあり快適だったが、普通に丸2日バス移動とかがあり広すぎである
南部パタゴニアの名峰フィッツロイやチリのパイネでトレッキングをして、道中一緒になった日本人女性に恋をするが思いは伝えられずそのまま別れた
この人とは帰国後たまに会ってメシを食う仲だが、一度冗談ぽく結婚しないかと言ったら、お前のような貧乏人とは結婚する訳ないと言われた
チリを北上してアタカマ砂漠の星空を見て、それから三番目の目的地ウユニ塩湖へ向かう
昔ポカリスエットのCMでビートたけしが立ってた鏡張りの景色で有名な所で、ちょうど日本の大学の春休みシーズンだったため、ウユニの街は日本人学生だらけでちょっと辟易したが、さすがに見渡す限り鏡張りの光景や遠近感の無くなるほど遠くまで広がる塩の平原はめちゃくちゃにきれいだった
そのあとペルーへ移動しマチュピチュに行ったが、すでに遺跡を腐るほど見ていたのでやや感動が薄かった
ペルーあたりからラムが安いので、全世界同じ安心安全のコカコーラを買って毎晩ラムコークを飲んでいた
バスを乗り継ぎエクアドルのグアヤキルに行き、ガラパゴス行きの飛行機を待つ
グアヤキルで数日滞在した安宿から15分くらい歩くと、カラフルな家がびっしり建つ丘があったので、ぶらぶらしていたらおばちゃんに呼び止められる
スペイン語はほぼわからないが、この先に行くと死ぬ的な事を言っているようで、あとで調べたらその先には有名なスラムがあった
別に一人で帰れるがおばちゃんの息子らしき人にホテルまで送ってもらう
グアヤキルは新婚旅行で訪れた日本人夫婦が強盗に遭い、旦那さんが殺された事件があった所である
ただしガラパゴス諸島は観光地のため、先進国並みに治安は良く、物価も同じくらい高い
アシカやウミイグアナがうじゃうじゃおり、進化論で有名な鳥のフィンチも数種類見てリクガメも写真に撮れたのでとても満足した
南米本土に戻って北上を続け、コロンビアのボゴタでオーパーツの黄金ジェットを見たが絶対あれは魚だと思う
このあたりで日本を出て1年少々経過しており、だんだん旅に飽きて働きたくなってきたので日本へ帰るチケットを探しはじめ、フロリダを経由してニューヨークから日本へ帰還した
成田の「おかえりなさい」のサインを見て泣きそうになり、缶コーヒーとコンビニのざるそばがうますぎて泣いた
使った金は約200万円、1年1ヶ月の旅だった
今はちゃんと再就職していい年になってしまい、結婚して子供ができたりして、出張以外でなかなか海外に行くことはないが、たまにあの頃は楽しかったなあと思い出す