2015年12月30日水曜日

MindmapModeling 2015

›
MindmapModelingの最新状況についてのご紹介です。 MindmapModelingはマインドマップを使ってモデリングを行う手法です。マインドマップを使って自由にモデルを書くというのではなく、UMLメタモデルによるモデルの表記方法としてマインドマップを用いるというアプロ...
2015年11月30日月曜日

Scala Tips/Map + Monoid

›
ちょっと忘れがちですが、ScalazではMapもMonoidとして定義されています。 これが結構便利なのを再認識したのでメモしておきます。 カウンター サイトごとのPV数をカウントするような用途でMonoidが便利に使えます。 以下のMapを考えます。Mapの値側の型がIntであ...
2015年10月30日金曜日

[SDN] 値クラスでケースクラスの型を強化

›
Scalaでは仕様をできるだけ型化するのがプログラミングのキモとなります。 積極的に型化するメリットはコンパイラでバグの検出をしてもらえる点にあります。 Curry-Howard対応 によってコンパイルがプログラムが仕様通りに実装されていることの証明となる点がScalaのような関...
2015年9月30日水曜日

関数型プログラミング技術マップ2015

›
『圏論の歩き方』を読んで少し理解が進んだので、関数型プログラミング技術マップを更新しました。「 関数型プログラミング技術マップ2014 」の2015年版です。 以下の点を改良しています。 Curry-Howard対応をCurry-Howard-Lambek対応に拡張 直観主義述語...
2015年8月24日月曜日

[scalaz]Task - 並列処理

›
先日の「 Reactive System Meetup in 西新宿 」で「 Scalaz-StreamによるFunctional Reactive Programming 」のスライドを作るにあたってscalazのTaskについて調べなおしてみたのですが、Taskの実用性につい...
2015年8月17日月曜日

クラウドアプリケーション・モデリング考

›
8月7日に「 匠の夏まつり ～モデリングの彼方に未来を見た～ 」のイベントが行われましたが、この中でパネルディスカッションに参加させていただきました。パネルディスカッションでご一緒させていただいた萩本さん、平鍋さん、高崎さん、会場の皆さん、どうもありがとうございました。 パネルデ...
2015年7月27日月曜日

[SDN]List性能問題

›
懸案だったMonadic Programming、Functional Reactive Programmingもある程度目処がついてきたこともあり、要件定義で作成されたモデルを実装に落とし込むという流れの中での総合的なScalaプログラミングの方法論をScala Design ...