タグ

2017年5月25日のブックマーク (4件)

  • P言語の素晴らしさについて - kuenishi's blog

    先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ?」といった批判的諦念的なものから、「RustGoとErlangの間の子みたいなのだなあ」「なんか読みにくい」といった反応が多くこの言語の重要性やインパクトに対して正しく理解しているものがあまりなかった。尊敬しているTD勢ですらあまり重要性が伝わってないようだ 1 2 。上記のブログ記事を読んだり、マニュアルを読んだらすぐ分かるようなことではあるが、日語で解説しておこうと思う。なおいわゆる言語入門とかそういった類のものではないことをご理解いただきたい。 TL;DR 並行処理や分散システムの形式証明や形式検証はそれ自体

    P言語の素晴らしさについて - kuenishi's blog
  • http://www.kantei.go.jp/jp/singi/hatarakikata/pdf/honbun_h290328.pdf

  • あの「経産省 若手の資料」作者本人を直撃 なぜあの資料を公開したんですか?

    ネット上で大きな話題となった経産省の若手官僚たちによる文書「不安な個人、立ちすくむ国家〜モデル無き時代をどう前向きに生き抜くか〜」は、賛否含めてなぜここまで反響を呼んだのか。「具体的な対策がない」との声も多かった文書には、実は削除された最後の数ページがあったという。なぜ、若手官僚たちは結論部分を削ったのか。実際に文書の作成に当たった中心メンバーに音を聞いた。 「いつものように、ネットに埋もれて読まれないんだろうなと思っていたのが、翌朝に見てバズっていたので驚きました」 経産省の次官・若手プロジェクトのコアメンバーのひとり、産業資金課の須賀千鶴・総括補佐(36)は、産業構造審議会総会でのペーパー公開後の金曜日をそう振り返る。 霞が関ではパワーポイントを駆使し、あらゆる統計や情報を詰め込んだクオリティ高い資料が日々、量産される。その大半はインターネット上で公開されていても、ほとんど話題になる

    あの「経産省 若手の資料」作者本人を直撃 なぜあの資料を公開したんですか?
    Makots
    Makots 2017/05/25
    これからですね
  • テトリス

    小6の時、親が離婚して母子家庭になった。父親とはその前からずっと別居していたから、家庭内に際立った変化は感じなかったけれど、苗字が変わったのがきつかった。同級生から好奇の目を向けられるのがとにかく嫌で、一時期、友達と遊ばなくなった。授業が終わると逃げるように家に帰った。 それで何をしていたかというと、部屋でずっとテトリスをしていた。布団に寝そべり、枕を高くして、毎日、何時間も。 そうこうするうちに、いつのまにか新しい苗字に馴れていた。同級生も僕の苗字のことなんて大して気にしてないことがわかった。僕はまたみんなと遊び始めた。 大学受験に失敗して浪人が決まった時も、ずっとテトリスをやってた。朝から晩まで一日中やってた。起き上がる気力もわかなかった。2週間ぐらいそうして過ごした。そのあとゆっくりと受験勉強を再開して、徐々にペースを上げ、翌年にどうにか志望校に合格することができた。 大学2年の時に

    テトリス