タグ

ブックマーク / kuenishi.hatenadiary.jp (6)

  • 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
    mickn
    mickn 2017/05/25
  • 2017年のクラウドを占う - kuenishi's blog

    どうもあけましておめでとうございます、分散システム界の負け犬こと李徴・ザ・グレートタイガーです。どちらかというといきなり吠えつくよりも山に篭ってこじらせていくタイプです。新春からAWS,サーバレス,コンテナ,マシンラーニング …2017年のクラウドを占う:新春特別企画|gihyo.jp … 技術評論社という記事を目にし、「ウソはいけません」とコメントしたところ何が当で何がウソか分からなくなってきたので、わたしも2017年のクラウドを占いつつ、件の記事の批評をしてささやかながら新年の書き初めとしたいと思います。 🔥🔥🔥🔥🔥 件の記事ではまず、 そしてこのデジタライゼーションの基盤にあるもっとも重要なテクノロジがクラウドコンピューティングです。 という言葉から理解できないのだが、デジタル化とは何を指すのか?一昔前には「OA化」という言葉が一斉を風靡した。どの企業でも小売なら会計はP

    2017年のクラウドを占う - kuenishi's blog
    mickn
    mickn 2017/01/03
  • 分散プログラミングモデルおよびデザインパターン - kuenishi's blog

    同名の某記事について。僕がタイトルから想像する期待を、なんだか意外な方向に裏切ってくれた記事であった。批判するだけではよくないので、同じタイトルで僕ならどういう話になるか…という話をしよう。絵のない長文だ覚悟して読め(ΦωΦ)フフフ…。 分散プログラミングモデル プログラミングモデルとはなんであろうか。 …CもJavaもMPIも登場していない1972年の論文を持ってこられてそれがオリジナルだみたいなこと言われてもえー…って感じで、Flynnの1972年の論文は並列計算やHPCの方面へ非常に大きな影響を与えていると思う。ただしそれはCPU内の話であって、時代が進むと共にたとえば牧野先生の日記「並列計算機のプログラミングモデル」で書かれているような議論につながるといえば繋がるには繋がるが、このレベルで計算を並列化する議論にしか応用できない。せいぜい、プログラミングモデルとひとくちにいっても様々

    mickn
    mickn 2016/02/21
  • 遅ればせながら「「特許庁業務・システム最適化計画」の改定について」について - kuenishi's blog

    Slashdotでみた56億円返還の件で興味が湧いて調べていたら、 「特許庁業務・システム最適化計画」の改定についてというやつを見つけたので目を通してみた。一度失敗したプロジェクトをどう再出発させるのかということと、実社会に直接影響を与えるこのシステムがどういう風になっていくかに興味があるからだ。 28枚という短い文書だが、短いだけに情報が凝縮されていてとても面白い。リンクされているPDFの文書は、平成25年3月という、一作年度末に書かれたものであることがわかる。この文書は、改定前の失敗とかそういったことには一切触れない。おそらく改定前のものと比べながら読んだら非常に味わい深いものになること請け合いであるが、ここではとりあえず措くこととする。 まず、特許庁の業務は大きく分けて、受付発送、方式審査、実体審査、登録、公報発行、審判の6種類があること、そのために平成2年に世界で初めて電子化された

    遅ればせながら「「特許庁業務・システム最適化計画」の改定について」について - kuenishi's blog
    mickn
    mickn 2014/08/04
  • Rubyはどこへいくのだろう - kuenishi's blog

    FLOSSがメンテナンスされていく過程では、次のどちらかがかならず必要になる*1。 そのFLOSSの周囲に巨大なエコシステムが形成され、コミュニティが共同統治できていること- たとえば、Apache, Debian, Python そのFLOSSに強力なスポンサーがおり、メンテナンスされていること - たとえば、Java, Erlang, このどちらかが成立していなければ、そのプロダクトは生き残れない。だから、わたしはRubyのことを心配している。 Ruby1.8のコミッタの卜部さんが書いたように、Rubyはその大規模なユーザーベースにも関わらずガバナンスが存在しない。しないといっては失礼だが、ここでの意味はApacheやDebian、Pythonのようなレベルにまでコミュニティが成熟していないという意味だ。Rubyで生計を立てている人が沢山いてRubyというプロダクトの周辺には十分なエコ

    Rubyはどこへいくのだろう - kuenishi's blog
    mickn
    mickn 2011/01/04
    Rubyはどこへいくのだろう - amnesiac weekend programmer
  • /.orgに上がった日本の記事がおもしろすぎる - amnesiac

    Despite heavy internet usage and a strong installed base of high-speed connectivity, young people just don't feel involved in politics. "In Japan, 95% of people in their 20s surf the web, but only a third of them bother to vote. Some, though, do not seem keen on politicians using the web to try to win their support. 'I believe that internet resources are not very official,' says Kentaro Shimano, a

    /.orgに上がった日本の記事がおもしろすぎる - amnesiac
    mickn
    mickn 2007/09/26
  • 1