English tweets are: https://t.co/M90vFCsHwi Sumii個人のアカウントです。所属組織の見解ではありません。リプライや引用はあらかじめスレッド全体をご確認ください。スレッド化のため、しばしば自己リプライします。過去ログ:http://t.co/pt97ez6RRE
  • (実際に某教科書でも違うレベルのものを注で済ませて同じ変数で書いている https://t.co/kSeWTkKHpN

  • 型チェック(レベルチェック)してくれないと、気がつかないうちにメタと対象を混同していないか心配になるのでCoqか何かで書くべき(← https://t.co/zMh9y8PdsB

  • れ、例のあの定理(特に第2のほう)の証明を最初から最後まで詳細に追うときとか、TAPLの比でなく混乱するので!https://t.co/f9owLS8zj5

  • (まあこれは論理学全部でそうかも?https://t.co/QRNZGA6quB

  • これの最もひどいのが、2レベルじゃない普通のλ計算(を含むほぼすべてのプログラミング言語の理論)で、対象レベル変数x,y,z,…のメタ変数もx,y,z,…のことが多い

  • ウッ…

  • (某数学基礎論の有名教科書でそのへんが意外とあいまいで、必死に下線を引きながら読んだことが(本当 https://t.co/Zru3acBGKi

  • メタと対象の区別はプログラミング言語理論で(も)致命的に重要で、2レベルλ計算とか、対象は下線を引く(かつメタは上線を引くことも) https://t.co/OLMAUsMm5Z

  • 間接的情報源になってしまいますがググって出てくる中でわりと新しい https://t.co/15pUctkg7F 等によるとACが無線マウス不可とありますね…

  • そのPDFは教えていただいてすぐにざっと読みましたが、page ixにPEDの定義があり、特に電波を使うという定義ではないようです。

  • 後者をちらっと見た限り、単に電子機器の話であって、電波を発する状態にある場合は別ではないでしょうか?(見落としていたらすみません)

  • あと、勝手に省電力状態に入って復帰するのに間がある(マウスの)機種もあって懲りました…

  • 国際線を含め、すべての航空会社のすべての機種で常時使用可ですか? ソースはあるでしょうか。

  • 「自殺」は本当に他の自衛隊員より統計的に有意に多いんでしょうか? 東京新聞の有名(?)な誤報もありました。https://t.co/7wb8fUPiDJ BuzzFeedは全体的に優れた記事も多いと思いますが、… https://t.co/IKkFVJs875

  • ただでさえノートPCのUSB端子もホテルのコンセントも足りないし面倒なのにマウスまで充電する or たまに電池買って交換する手間も大きいです><

  • ちょっとググったら、飛行機の機種や航空会社によるのか。面倒な(何>無線マウス https://t.co/8OcQHU6dwG https://t.co/8OcQHU6dwG

  • VAIO Pro 11/13がVAIO S11/13になって拡張バッテリーなくなったのも自分個人的には謎。いまどき電源あるのが普通で需要ないんだろうか… https://t.co/1JQrmTxZjU

  • 飛行機の中で使ってよいのか迷う(無線LANと同じで今はもう良い?)&電池が切れる&反応が鈍い(ような気がする)ので…

  • 後者のマウスを買ったので使ってみたら左ボタンが初期不良>< 交換している間に予備も兼ねてもう一つ買い直し。実売価格1000円未満だけどもうちょっと高くても良いからメーカーは品質の良い製品を作ってほしい…。巻き取ったケーブルが本体に… https://t.co/l3bJg4I0KE

  • ほぼ100点満点のダメな謝罪では…。「悪意はなかった」「あなたが不快に感じたとすれば」の基本ダブルに加え、「もちろん」「とはいえ」という挑発ワード×2は新鮮だが、「誤解を招いた」が足りない(何 https://t.co/0oVTfYQQKz