※追記F# Advent Calendar 2014 - connpassの26日目の記事になりました。今年は一切アドベントカレンダー参加してなかったのに25日越えてほとんど縁遠かった分野のアドカレに参加することになるとは…。 GoでHelloWorld出来たのでGo完全にマスターした2014-01-…

引き続き圏論で足し算 圏論縛りプレイルール 使っていい言葉とかが制限されてる 名詞 射 対象 図式 述語 射の合成 射が恒等 射が存在する 射が一意 図式が可換 *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(暗…

備忘録 仕事でDockerを使っていて CMD ["app"]みたいな単一プロセスでコンテナを立ち上げるのではなくCMD ["/sbin/init"]みたいにしてsshdとか複数プロセスを立ちあげたい DBの接続設定みたいな、本番環境とか開発環境とかの設定を切り替えたい 環境ごとにイ…

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

Docker、よくあるLAMPのPJで、本番はまだアレだったので個々人用の開発環境として使ってて、アプリのデプロイはDockerfileじゃなくてAnsibleでgitからpullする方式。Jenkinsさんもあると言う状況。2014-07-09 13:15:29 via Janetter @kamekoopa Dockerにmysq…

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

6/7(土)に ミニ四駆を走らせる会 - connpass を開催しました。 レポート圧力かかってるけどどうしよ。写真も撮ってないし自分のことに必死であまり回りも見てなかったぞ…。2014-06-07 20:38:45 via Twitter for Androidとは言え主催者が何も書かないわけにも…

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

Java8がリリースされたのでPlay2をJava8で動かしたいと思うのは人類の自然な発想だと思います。 Play2ではPromise周りとかでFunctionalInterface使う場面ちょこちょこありますし、別に使わなくても便利な機能ガン増えなのでPlay2をJava8で使えたらQOL上がる…

gitlabにアクセスするgitのサブコマンド作った - 新しいフォルダ (2)のやつに機能追加して0.2.0としてリリースしました。 こんな感じ # このプロジェクト(リポジトリ)のカレントブランチからmasterへ # カレントブランチ名をタイトルとしてマージリクエスト…

python勉強がてら作ったけどMerge Request取得する機能作ったところで力尽きたのでとりあえず公開。気が向けば他の機能も作るかも。あるいは誰か作ってください。GitHub - kamekoopa/git-lab: subcommand of git for access gitlab 使い方 git configで以下…

やましろ先生の送別会に行ってきました。 正直僕はjava-jaだってid:Ewigkeitに首根っこ掴まれて引っ張り込まれたのが最初だったし、それ以降も持ち前のコミュ障を活かして隅っこのほうで北海道のサラダラーメン食ってるだけの人間でしたし、一方的に知ってる…

備忘録 経緯 Pythonbrewで2.6.6インスコする なんかsetuptoolsのインスコにミスってたけどとりあえず次へ pythonbrew venv use 2.6.6してpython bootstrap.pyしてbuildoutインスコを試みる コケた setuptoolsインスコ失敗してるのが原因ぽい sslが有効になっ…