飼い主が構える両側が開いた細長い段ボールの中に自ら収まって、ベッドに撃ち出されるのが大好きなネコの映像です。

　...残りの記事を読む

Excel Lambda（エクセル・ラムダ）

ポニーテール: Oh cool, Excel is adding a lambda function, so you can recursively define functions.
　（お、すごい。エクセルにラムダ関数が追加されて、関数を再帰的に定義できるようになったね。）

男: Seems unnecessary.
　（不必要だと思うけど。）
男: When I need to do arbitrary computation, I just add a giant block of columns to the side of my sheet and have a Turing machine traverse down it.
　（任意の計算をする必要があるときは、シートの横に巨大な列のブロックを追加して、チューリングマシンにそれを横断させる。）

ポニーテール: I think you're doing computing wrong.
　（君の計算方法は間違っていると思うよ。）

男: The Church-Turing thesis says that all ways of computing are equally wrong.
　（チャーチ＝チューリングテーゼによると、すべての計算方法は同じように間違っているそうだ。）

ポニーテール: I think if Turing saw your spreadsheets, he'd change his mind.
　（もしチューリングが君のスプレッドシートを見たら、彼は考えを変えると思う。）

男: He can ask me to stop making them, but not prove whether I will!
　（彼は僕にスプレッドシートを作るのをやめろと言うことはできるが、そうするかどうかは証明できない。）

Alt-text: Extremely rude how Turing's later formulations of the halting problem called me out by name specifically.
　（チューリングが停止問題の後の定式化で、僕を名指しで呼んだのは非常に失礼なことだった。）

• xkcd: Excel Lambda
  https://xkcd.com/2453/

　...残りの記事を読む

　飼い主がプラスチックコンテナと紐で作ったエレベーターで2階に移動するのが好きなネコの映像です。

　...残りの記事を読む

　ガラス越しのクマを強烈に威嚇し、撃退してしまうネコの映像です。

　...残りの記事を読む

Aviation Firsts（航空の初めていろいろ）

Flight
　（飛行）
Landing
　（着地）
Controlled landing
　（制御された着陸）
Controlled powered flight
　（制御された動力飛行）
Loop
　（一回転）
In-flight meal
　（機内食）
Planetary circumnavigation
　（惑星の世界一周）
Enormous wooden aircraft built by a reclusive billionaire that flies exactly once
　（隠遁生活を送る億万長者が作った巨大な木製航空機が一度だけ飛行する）
Hijacking by someone dubbed "D.B. Cooper" who demands money and then jumps out mid-flight to an unknown fate
　（金銭を要求された後、飛行中に飛び降りて消息不明になる「D.B.クーパー」と呼ばれる人物によるハイジャック。）

Alt-text: Mile High Club membership [✓] [ ] Discovery of parts of Amelia Earhart's skeleton [ ] [ ] Mid-flight incident that results in safe landing on the Hudson River [✓] [ ]
　（マイルハイクラブ会員[✓] [　]、アメリア・イアハートの骨の一部の発見[　] [　]、ハドソン川への安全な着陸をもたらした飛行中の事件[✓] [　]）

• xkcd: Aviation Firsts
  https://xkcd.com/2452/

　...残りの記事を読む