nullかもしれない場合にはそれに対処できてなければならない、というのが型推論による支援によって確実になるわけで、だからどうしてそう、顔文字の人は話を混同するのか……
Notices by ksmakoto@social.mikutter.hachune.net, page 29
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 19:46:38 JST ksmakoto -
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 19:19:31 JST ksmakoto 表現力が上がる、とは、これが両立可能になることなのだ、みたいな所、BASICおじさんとかは全く理解できてなかったりするけども(両立は原理的に不可能なのでそこをどうにかするのがプログラマの腕、みたいに信じてる)、そのへんはちょっとゆっくり眺めてみるとわかる(と思う)
-
らりお・ザ・何らかの?然㊌ソムリエ (lo48576@mastodon.cardina1.red@mastodon.cardina1.red)'s status on Saturday, 14-Jul-2018 19:16:31 JST らりお・ザ・何らかの?然㊌ソムリエ たとえば「なんでも goto を使うより while や for や iterator を」とか「なんでも再帰を使うより map や filter や fold を」みたいなのと同じで、高階のものとパラメータを組み合わせることで制約を人間にとってわかりやすく、かつ機械が理解可能な状態で表現するということが可能になります
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 18:28:17 JST ksmakoto RAII以前と以後ね
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 17:45:34 JST ksmakoto ベースシステムのパッケージ化か……
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 17:29:17 JST ksmakoto (本物の)型推論は、ぜんぜん自明じゃないような場合も推論してくれるからこその型推論なんだが……
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 16:39:49 JST ksmakoto -
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 13:37:53 JST ksmakoto オタクを見世物にしたテレビ番組に文句を言ったことがないものだけが石を以下略
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 12:27:07 JST ksmakoto オウム真理教の歌って、まず「しょーこー、しょーこー、しょこ しょこ しょーこー……」では?
-
ksmakoto@social.mikutter.hachune.net's status on Saturday, 14-Jul-2018 00:02:06 JST ksmakoto @ksmakoto このシステム、確かISASのバッテリマネジメントの研究のスピンオフとしてポスターを見たような記憶があるのだけど、ネット検索だと見つからん……
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 23:22:14 JST ksmakoto そして US の警察の Inspector という肩書の階級はまったくもってまちまちなのかw
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 23:17:22 JST ksmakoto 銃といえばキャラハン警部の Smith & Wesson Model 29(いわゆる44マグナム)では?
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 21:49:35 JST ksmakoto 企業のオフィスとかみたいな、おなじノートPCが何台もあるような環境用に、交代で1台か2台だけのマシンのバッテリーを100%にしておいて、持ち出す場合はそのPCとバッテリーを付け替えて……みたいな運用を支援します、みたいなシステムも研究されてたりはする
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 21:45:08 JST ksmakoto だから、「明日は外出する」という前の日に、明示的に満充電にしたような場合以外は、50%ぐらいで保持するような(あまり繰り返すのもよくないのでそのへんはバランスだが)モードを付けるべき、というような意見は出ている
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 21:42:27 JST ksmakoto いくつかの種類の二次電池は、満充電に近い状態で保存すると劣化が進みやすいので、できればすぐに使わないのならばあまり満充電では保存したくない(バッテリが入ってる機器を新品で買ってくると50%前後になってることが多い理由はそれ)
-
ksmakoto@social.mikutter.hachune.net's status on Friday, 13-Jul-2018 21:30:05 JST ksmakoto 確かにうちの MacBook で pmset -g rawlog で出てくる cap = 1780/4638 っていうような奴(今実際に取ったデータがこれ)の 4638 の部分、前は違ったような気がするので、たぶん、満充電の検出とで何かやってそうな雰囲気はある気がする
-
ksmakoto@social.mikutter.hachune.net's status on Thursday, 12-Jul-2018 23:54:52 JST ksmakoto スカイレールは駆動まわりがロープウェイないしケーブルカーっぽい奴だから別というカウントっぽいな
-
ksmakoto@social.mikutter.hachune.net's status on Thursday, 12-Jul-2018 23:49:45 JST ksmakoto 上野懸垂線は、動物園内の移動手段ではなくてちゃんとした(鉄道事業法に基づく)鉄道ではあるけど、他の奴と違って方式が東京都交通局式とか呼ばれてる独特の方式だからかな?
-
ksmakoto@social.mikutter.hachune.net's status on Thursday, 12-Jul-2018 22:50:13 JST ksmakoto 「タイムスリップ10000年プライム・ローズ」はタイムスリップするだけでループとかは特に無いんだったか
-
ksmakoto@social.mikutter.hachune.net's status on Thursday, 12-Jul-2018 22:45:45 JST ksmakoto あ、ちゃーねこさんの元ネタってあれだったのか