longroofのブックマーク / 2018年12月10日

longroof id:longroof

2018年12月10日のブックマーク (4件)

型システム〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院情報学研究科通信情報システム専攻修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています．この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います．はじめにプログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています．あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
longroof 2018/12/10
リンク
経営者はパソコンなんか使わないぞ、技術者の時代錯誤に驚く | 日経 xTECH（クロステック）
いやぁ、随分笑わせてもらった。何の話かというと、最近、政財界で組織のトップとパソコン利用について耳目を集めた例の騒動である。騒動の舞台はもちろん日本経済団体連合会（経団連）と国会だ。経団連会長とサイバーセキュリティー担当大臣が「パソコンを使えない」との疑惑や事実が騒ぎの発端だった。この騒動は本当に笑えた。言っておくが、経団連会長や大臣が笑いの対象ではないぞ。騒いでいる人たちを笑ったのだ。あんたら、一体いつの時代の人やねん！ 2つの騒動について復習しておくと、最初の騒動の舞台は2018年10月下旬の経団連だ。火付け役となったのは「日立製作所出身の中西宏明会長が会長室に初めてパソコンを設置し、職員にメールを出した」との新聞報道。記事が出るや、Twitterなどのソーシャルメディアでは「経団連の歴代会長はパソコンを使っていなかったのか」との驚きの声が上がり、「IT後進国ニッポンの象徴」などといっ
longroof 2018/12/10
いやぁ、随分笑わせてもらった。何の話かさっぱり分からないんだ(´；ω；｀)… #パソコンとは
リンク
個人的に注目しているAdvent Calendarまとめ（2018年版） - karaage. [からあげ]
2018年注目のAdvent Calendar 年末といえばAdvent Calendarの時期ですね。Advent Calendarというのは、12月中に毎日クリスマスまで技術的な記事を交代で投稿するというお祭りイベント的なもので、今年も既にスタートしています。今のところ個人的にチェックして追いかけているAdvent Calendarをまとめておこうと思います。そうです、これは完全に自分のメモです。自分のメモをワールドワイドに公開しているのです。 Qiitaでは、Advent Calendar参加のプレゼント企画をしているので、こちらをきっかけに実施するのも良いかもしれません。 IoT関係ひとりでIoTまるっとチュートリアル Advent Calendar 2018 - Qiita IoTLT Advent Calendar 2018 - Qiita SORACOM LTE-M B
longroof 2018/12/10
なるほどですねー
リンク
絹かけ丼2018 - パル
はいこんにちは。昨日の今日であれのエントリを書くと思ったでしょう　あれはそれぞれの世界を巡ってからでないと書けないのだつーことで今年もオフィスDとかでやってました。開催時期的に羅臼が終わってたので利尻をご利用しましたと、今回作るちょっと前に別件があったんでやってた訳ですが去年のではマグロのトロを合わせましたが、ウニの香りが反応するのは黒毛和牛の脂だと言われたので試してみたものです　見た目重視で1枚そのまま乗せたので少し食いづらかったあと記事には出てこないんだけどこのとき自分ら用の丼にトリュフ粉をぶっかけまくって食ったらすごくて、すごいというのは様々なニュアンスを含んでいる　好き嫌いもあるだろう食い方だし元々の料理が狂っているので、委が粉に関心なさそうだったからそこは尊重してあんな感じですトリュフ粉については人に教わりました　かなり露骨に匂う SABATINO TARTUFI T
longroof 2018/12/10
はい
リンク
- 2018年12月11日
- 2018年12月10日
- 2018年12月9日