引き続き圏論で足し算 圏論縛りプレイルール 使っていい言葉とかが制限されてる 名詞 射 対象 図式 述語 射の合成 射が恒等 射が存在する 射が一意 図式が可換 *1 圏論では具体的な値に言及できないので、気軽に「何かと何かが等しい」とは言えない縛りプレ…

前回の続き。 前回はぐるぐるの図(可換図式)を書いて整数Zの足し算の性質のうち 関数 add: Z × Z → Z が存在する ある特殊な集合 0Z が存在して zero: 0Z → Z が一つだけ存在する 0Z × Z → Z となる(0 + a = a, a ∈ Z 的な意味) add・(zero, id): 0Z×Z → Z×Z…

代数的データ型と圏論の導入の導入。 代数的データ型 代数的データ型Xとは X <- A + BA + Bっていうのは集合Aと集合の重複の無い和との事。 ┌── X───┐ │┌─┐┌─┐│ ││ A││B ││ │└─┘└─┘│ └──────┘javaで言うところのenumみたいなもの。 ただしJavaでは enum X { …

ブログ書くのむっちゃサボってる…。 多相の種類 polymorphism ┬ universal(静的) ┬ parametric(ジェネリクス) │ └ inclusion(サブタイプ) ┬ nominal(継承) │ └ structural(ダックタイピング) └ ad-hoc(実行時) ┬ overloading(オーバーロード) └ coercion(暗…

型クラス (図内の分類は適当) 型 値の集合 型クラス 型の集合 型をある何かしらの特徴で分類したものを型クラスと言う。「足し算できる型」とか「表示できる型」とか。 「型クラス」と言う名称はHaskellとHaskellにインスピレーションを得た言語固有の語彙。…

型とか関数とかを集合論の観点からとらえた基礎的な話 型 関数 そもそもこの知識すら無かった。 今までまるで理解できなかったWikipediaみたいな事言ってくる人達の言ってる内容、理解できそうな部分が増えそう。 多相 f :: Int -> Int みたいな固定の型を受…

よし、「どこか人前でしゃべる」を来年の抱負にしよう2013-11-12 15:21:12 via Janetter 2014年の抱負というか目標は社内だけでなく人前でLTすることでした。 そんなようなことを夜中何の気なしにつぶやいていたらきょんくんに狩られ、死ぬ思いしながら資料…

「Hadoopを技術とサービスの両面から学ぶ勉強会」でHadoopの話を聞いてきました！*1 イベントページ http://atnd.org/events/32114 大規模分散処理基盤Hadoop活用のカンドコロ(猿田さん) Hadoopって？ OSSによる大規模分散処理フレームワーク Google基盤ソフ…

イベントページ http://connpass.com/event/887/Javaなのに！Javaっぽくない！Railsライクなフレームワークでお馴染みのPlay!FrameworkについてBPStudy#60で聞いて来ました。*1 PlayFrameworkってなに？ Java/Scala用WEBフレームワーク Typesafe社のTypesafe…

イベントページ http://connpass.com/event/652/ もうだいぶ前なんですけど下書きしたまま清書するの忘れてたとか何とか言う…的なアレで、今更ですがエントリ化しておきます。 感想としては、やはり導入に際して先導者にはそれなりの覚悟とかリソースとか知…

イベントページ http://www.zusaar.com/event/312159 スライド Casual Complression on MongoDB - @just_do_neet http://www.slideshare.net/moaikids/casual-compression-on-mongodb MongoDBによるカジュアルなタイムラインシステムの実装 - @hito_asa http…

GREEさんパネェ！！ イベントページはこちら http://connpass.com/event/607/ スライド 例外設計における大罪 http://www.slideshare.net/t_wada/exception-design-by-contract ログ、その時の為に。 http://dev.handwerkszeug.org/docs/java-ja_20120627/#/…