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/

　...残りの記事を読む

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/

　...残りの記事を読む

AI Methodology（AIの方法論）

男: Despite our great research results, some have questioned our AI-based methodology.
　（素晴らしい研究成果にもかかわらず、AIを使った方法論に疑問を持つ人もいます。）
男: But we trained a classifier on a collection of good and bad methodology sections, and it says ours is fine.
　（しかし、良い方法論の部分と悪い方法論の部分を集めて分類器を訓練したところ、私たちの方法論は問題ないとの結果が出ています。）

Alt-text: We've learned that weird spacing and diacritics in the methodology description are apparently the key to good research; luckily, we've developed an AI tool to help us figure out where to add them.
　（方法論の説明にある奇妙な間隔や発音記号が、どうやら良い研究の鍵であることがわかりました。幸いなことに、私たちはどこにそれらを加えるべきかを考えるためのAIツールを開発しました。）

• xkcd: AI Methodology
  https://xkcd.com/2451/

　...残りの記事を読む

Post Vaccine Social Scheduling（ワクチン接種後の社会的活動スケジューリング）

Post Vaccine Social Scheduling
　（ワクチン接種後の社会的活動スケジューリング）

Alt-text: As if these problems weren't NP-hard enough.
　（まるでこれらの問題がNP困難でないかのよう。）

• xkcd: Post Vaccine Social Scheduling
  https://xkcd.com/2450/

　...残りの記事を読む

ISS Vaccine（ISSワクチン）

女: I just realized--
　（気がついたんだけど...）
女: The astronauts on the ISS probably can't get the vaccine until they land.
　（国際宇宙ステーションの宇宙飛行士は、着陸するまでワクチンを受け取れないんじゃないかしら。）
男: Sure they can.
　（もちろん受けられるよ。）
男: NASA's good at orbital injections.
　（NASAは軌道上の注射を得意としているから。）

Alt-text: Because they orbit the Earth every 90 minutes, some astronauts should try to argue that, due to CDC regulations and time zone technicalities, they should be able to get their second dose just 30 or 40 hours after their first.
　（宇宙飛行士の中には、90分ごとに地球を周回するため、CDCの規制やタイムゾーンの技術的な問題から、1回目の投与からわずか30～40時間後に2回目の投与を受けることができると主張する人もいるはずだ。）

• xkcd: ISS Vaccine
  https://xkcd.com/2449/

　...残りの記事を読む