Notices by ksmakoto@social.mikutter.hachune.net, page 29

nullかもしれない場合にはそれに対処できてなければならない、というのが型推論による支援によって確実になるわけで、だからどうしてそう、顔文字の人は話を混同するのか……

表現力が上がる、とは、これが両立可能になることなのだ、みたいな所、BASICおじさんとかは全く理解できてなかったりするけども（両立は原理的に不可能なのでそこをどうにかするのがプログラマの腕、みたいに信じてる）、そのへんはちょっとゆっくり眺めてみるとわかる（と思う）

RAII以前と以後ね

ベースシステムのパッケージ化か……

（本物の）型推論は、ぜんぜん自明じゃないような場合も推論してくれるからこその型推論なんだが……

#にゃーん

オタクを見世物にしたテレビ番組に文句を言ったことがないものだけが石を以下略

オウム真理教の歌って、まず「しょーこー、しょーこー、しょこ しょこ しょーこー……」では？

@ksmakoto このシステム、確かISASのバッテリマネジメントの研究のスピンオフとしてポスターを見たような記憶があるのだけど、ネット検索だと見つからん……

そして US の警察の Inspector という肩書の階級はまったくもってまちまちなのかw

銃といえばキャラハン警部の Smith & Wesson Model 29（いわゆる44マグナム）では？

企業のオフィスとかみたいな、おなじノートPCが何台もあるような環境用に、交代で1台か2台だけのマシンのバッテリーを100%にしておいて、持ち出す場合はそのPCとバッテリーを付け替えて……みたいな運用を支援します、みたいなシステムも研究されてたりはする

だから、「明日は外出する」という前の日に、明示的に満充電にしたような場合以外は、50%ぐらいで保持するような（あまり繰り返すのもよくないのでそのへんはバランスだが）モードを付けるべき、というような意見は出ている

いくつかの種類の二次電池は、満充電に近い状態で保存すると劣化が進みやすいので、できればすぐに使わないのならばあまり満充電では保存したくない（バッテリが入ってる機器を新品で買ってくると50%前後になってることが多い理由はそれ）

確かにうちの MacBook で pmset -g rawlog で出てくる cap = 1780/4638 っていうような奴（今実際に取ったデータがこれ）の 4638 の部分、前は違ったような気がするので、たぶん、満充電の検出とで何かやってそうな雰囲気はある気がする

スカイレールは駆動まわりがロープウェイないしケーブルカーっぽい奴だから別というカウントっぽいな

上野懸垂線は、動物園内の移動手段ではなくてちゃんとした（鉄道事業法に基づく）鉄道ではあるけど、他の奴と違って方式が東京都交通局式とか呼ばれてる独特の方式だからかな？

「タイムスリップ10000年プライム・ローズ」はタイムスリップするだけでループとかは特に無いんだったか

あ、ちゃーねこさんの元ネタってあれだったのか