読者です 読者をやめる 読者になる 読者になる

北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

レポート

「アドテクノロジー開発現場の話」を聞いてた

同僚である@myfinderさんが登壇した、Tech Compass【Vol.07】に出席してきました。マイナビさんにレポートをあげていますので、興味のある方がいらっしゃいましたらご覧ください。 超絶トラフィックをミリ秒で処理する、アドテクノロジー開発現場の話 合わせ…

今日は「秋のエンジニアぶつかり稽古 2013」の日です

@__kanさんを見に来てます。メモを取る必要のあるイベントかわかりませんが、一応。 行事の内田さんより YAPCでのカヤックさんの企画 かん関とあんちぽ関の取り組み 「俺の本気を見せてやる」プレゼンタイム 吉高由里子と僕 / @hisaichi5518さん コピペ辛い→…

今日はYAPC::Asia Tokyo 2013の2日目です

2日目です。地元開催なので、地の利を生かして朝からタリーズでのんびり朝食などとっております。今日もgihyo.jpさんのスペシャルレポートにレポーターとして参加しています。

今日はYAPC::Asia Tokyo 2013の1日目です

一日目です。今日もgihyo.jpさんのスペシャルレポートにレポーターとして参加しています。

今日はYAPC::Asia Tokyo 2013の前夜祭です

今年もYAPC::Asia Tokyoの季節がやって参りました。今年の会場は慶應義塾日吉キャンパスです。夕方から始まる前夜祭から参加する予定ですので、いつものように適当にメモをとっていきます。今年もgihyo.jpさんのスペシャルレポートにレポーターとして参加し…

今日は 圏論勉強会 第13回 の日です

元祖圏論勉強会ではない方の圏論勉強会 第13回の最終回です。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 三脚復活してる! 第13回: 随伴・モナド / 講師 @9_ties さん 「モナドが途中で終わるのは嫌でしょう」「随伴を説明し…

今日は 圏論勉強会 第12回 の日です

木曜日なので圏論勉強会ではない方の圏論勉強会 第12回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 ついに三脚が貸してもらえなくなった 第12回: 自然性・米田の補題 / 講師 @9_ties さん 圏論は自然性の記述の…

今日は 圏論勉強会 第11回 の日です

毎度おなじみ、圏論勉強会ではない方の圏論勉強会 第11回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 第11回: 指数対象・デカルト閉圏 / 講師 @9_ties さん 今日からはがらっと話が変わるので、前回までの話は忘…

今日は 圏論勉強会 第10回 の日です

今週も圏論勉強会ではない方の圏論勉強会 第10回に来ています。資料とustreamは公開されています。 とびいりの話は大歓迎なので、面白い話がある人は面白くなくても言って下さい 13回目もやる(12回だとモナドに入れない。最終回はモナド) ワークスアプリケー…

今日は 圏論勉強会 第9回 の日です

前々回ぶりに圏論勉強会ではない方の圏論勉強会 第9回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 前回の練習問題の回答を作りますのでお楽しみに 第9回: 領域理論・不動点意味論 / 講師 @9_ties さん 意味論は…

今日は 圏論勉強会 第7回 の日です

圏論勉強会ではない方の圏論勉強会 第7回です。資料とustreamは公開されています。 司会の方がワークスアプリケーションズ社を退社されたので今回からバトンタッチ 後半第一回目 第7回: 様々な極限 | 代数的データ型 / 講師 @9_ties さん 1時間で話せる内容…

今日は第一回 ゆるふわHaskell入門会の日です

第一回 ゆるふわHaskell入門会に来ています。Hackathonがメインですが、トークもボチボチありますのでメモります。 究極の手続き型言語Haskell / @fumieval さん 関数型言語とは 関数を自在に操作、組み合わせて記述 手続き型とは 手続きを自在に組み合わせ…

今日は 圏論勉強会 第6回 の日です

圏論勉強会ではない方の圏論勉強会 第6回です。資料とustreamは公開されています。 第6回: 積・余積・極限 / 講師 @9_ties さん 普遍性の概念によって定義される極限と余極限について 終対象 任意の対象から射がひとつだけ存在 同型を除いて一意 1と1'があれ…

今日は 圏論勉強会 第5回 の日です

圏論勉強会ではない方の圏論勉強会 第5回です。資料とustreamは公開されています。 今日は倚子が追加された ワークスアプリケーションズ社さんに感謝しましよう 第5回: 様々な射 / 講師 @9_ties さん Hom集合についての補足 A言語とB言語のトランスレーターt…

今日は 圏論勉強会 第4回 の日です

圏論勉強会ではない方の圏論勉強会 第4回にまたやって来ました。資料とustreamは公開されています。 ワークスアプリケーションズ社に入ると、リハーサルも見れてお得だよ! 第4回: 射で考える / 講師 @9_ties さん 様々な概念を圏論の言葉のみで述べる 今日…

第3回Tech Compassへ行ってきた

マイナビさん主催の勉強会に参加してレポートを書いてきました。大変面白い内容でしたので、興味がある方は以下からどうぞ。 2013年5月22日に開催したTech Compassでは、大前広樹(@pigeon6)氏、白石俊平(@Shumpei)氏、増井雄一郎(@masuidrive)氏の3方名をプ…

今日は 圏論勉強会 第3回 の日です

圏論勉強会ではない方の圏論勉強会 第3回に来ました。資料とustreamは公開されています。 今回からヘッドセット完備 中高生も見ているらしい(のでプログラミング以外のネタも) 第3回: 様々な圏 / 講師 @9_ties さん 視野が狭くならないよう、プログラムに関…

今日は 圏論勉強会 第2回 の日です

圏論勉強会ではないモノイド勉・・・いや、圏論勉強会 第2回に来ました。資料とustreamは公開されています。 第2回: モノイド・群 / 講師 @9_ties さん モノイド、圏は計算機に必要な概念 対象が1つの圏。シンプルだけどシンプル過ぎない圏 約束: 自然数は0…

今日は 圏論勉強会 第1回 の日です

圏論勉強会ではない圏論勉強会 第1回に来ました。資料とustreamは公開されています。 @seizans さんより ekmett勉強会でekmettさんが圏論勉強するといいよというから開催 日本始まったな 講師 @9_ties さん 圏論だけではなく、圏論を題材に色んなことを学ぶ…

今日は Haskellで計算機代数勉強会 の日です

せっかくのGWなので、朝からHaskellで計算機代数勉強会に来ています。内容が内容なので正確性は保証できませんが、自分用のメモということで。 HALでもわかるGröbner基底 / @mr_konn さん グレブナー基底 高次連立方程式、初等幾何、統計ロボティクス、計算…

第2回Tech Compassへ行ってきた

マイナビさん主催の勉強会に参加してレポートを書いてきました。イベントの詳細は以下からどうぞ。 閑歳孝子(@kansai_takako)氏と和田裕介(@yusukebe)氏をプレゼンターとして招き、人気のあるWebサービスはどのように作られるのかというテーマでディスカッシ…

今日は「データベースは圏なんだよ!の会」の日です

中原市民館に来ております。データベースは圏なんだそうです。SGL読書会の姉妹イベントです。 Databases are categories by Spivakさん / @bonotakeさん Spivakさんのスライドの解説です。 情報の世界の coherence の欠如を解決するためにフレームワークが必…

今日はekmett勉強会の日です

ekmett勉強会に来ています。ekmettさんがオンライン参加されています。 I love profunctors. They're so easy / liyanghuさん 傘を指し棒に使うと言う斬新なプレゼン。詳細はこちら。 HaskellのFunctorは共変 Predicate (a -> Bool) は Functor ではない (半…

第1回Tech Compassへ行ってきた

マイナビさん主催の勉強会に参加してレポートを書いてきました。イベントの詳細は以下からどうぞ。 3月19日に竹橋で開催された第1回Tech Compassでは、伊藤直也(@naoya_ito)氏と山本裕介(@yusuke)氏をプレゼンターとして招き、このテーマで議論がなされた。…

今日は Hokkaido.pm#9 の日です

実家に帰るついでに、久々にHokkaido.pmへふらっと立ち寄ります。マイクスタンドを借りたのでライブコーディングでも安心です。 cpanfile / @aloelight さん cpanファイルとは? Ruby Gemfileの移植 依存モジュールのバージョン cpanmとcartonで利用可能 ア…

今日は『Webサービスのつくり方』出版記念イベントの日です

仕事をサボって『Webサービスのつくり方』出版記念イベントに来ていますので、適当にレポートします。結局ゆーすけべーさん不在のまま始まりました(笑)。 今日の進め方 → 参加者が紙に書いた質問に全て答える けんすうさんの案らしい ゆーすけべーさん登場 …

今日はYokohama.pm #9の日です

残念ながら横浜市民ではなくなりましたが、Yokohama.pm #9に参加しています。USTはこちら。

今日はYAPC::Asia Tokyo 2012の2日目です

YAPC::Asia Tokyo 2012の最終日です。電源ケーブルを忘れたので一度家に帰りますが、東大内の伊藤国際学術研究センターに向かいます><今日もgihyo.jpさんの特集にレポーターとして参加します。@amayanさん、@moznionさん、ya_k0さん、@takayuki_hさんのメ…

今日はYAPC::Asia Tokyo 2012の1日目です

今日は昨日に引き続きYAPC::Asia Tokyo 2012の1日目です。東大内の伊藤国際学術研究センターに入り開会を待っております。今日もgihyo.jpさんの特集にレポーターとして参加します。昨日と同様に@amayanさん、@moznionさん、ya_k0さん、@takayuki_hさんが中心…

今日はYAPC::Asia Tokyo 2012の前夜祭です

今日はYAPC::Asia Tokyo 2012の前夜祭です。去年までとは会場が代わり、今年は東大内の伊藤国際学術研究センターにて開催されます。今日から最終日まで参加する予定ですので、いつものように聞いた話をリアルタイムでメモっていくつもりです。なお、今年もgi…

今日はAmazon EC2ハンズオンの日です

ちょっと到着が遅れましたが、Amazon EC2ハンズオンに来ています。 AWSの概要 / @horiuchiさん AWS 2006年から いつでも、必要なだけ、安価に サーバの調達の時間が長い AWSを使うより早めに資金が必要 調達までの時間の機会損失 スケールダウンも容易 イン…

今日はThe GitHub poweredby Agile渋谷の日です

The GitHub poweredby Agile渋谷にこっそりとお邪魔しています。タグは#Agile渋谷です。

今日は社会ネットワーク分析勉強会 #1の日です

社会ネットワーク分析勉強会 #1にお邪魔しています。タグは#TokyoSNAです。Niftyさんのエンジニアサポートという制度で行われているようです。Nifty++

今日はPRML復々習レーン kick-off meetingの日です

1年前に挫折したわけですが、一応もう一回来てみました。適当にメモします(キックオフなので打ち合わせ中心だと思いますが)。 ご挨拶 / @naoya_t さん 今日はエクストリームリーディングします 自己紹介タイム 今後は幹事役を分散したい 会場安いとことか募…

今日は Akasaka.scala 36 の日です

Akasaka.scala 36に途中から参加してます。タグは#akskscalaです。 Scala言語仕様読書会8 / @seratch さん 6章の後半。 前置、中置、後置演算 :が右結合なのはなぜ? → ::のため 代入演算子 play2.0について / @seratch さん play コマンド sbtのラッパー (s…

今日は Akasaka.scala 35 の日です

Akasaka.scala 35に参加してます。タグは#akskscalaです。ustreamはこちら。一度でも参加者したことがある方はgithubのOrganizationに入っているので、適当にcommitして下さいとのこと。 Scala言語仕様読書会8 / @seratch さん 今日は6章です。 6.1 → Expres…

今日は Akasaka.scala 34 の日です

Akasaka.scala 34に参加してます。タグは#akskscalaです。 Scala言語仕様読書会7 / @seratch さん 詳細はこちら。 前回の復習 メンバーマッチング 事前定義 修飾子 2回出てはいけない (a, b)のような定義に先行する場合は両方に private → コンパニオンから…

今日は Hokkaido.pm#6 の日です

実家に帰るついでにふらっと立ち寄りました(2)。次はHokkaido.pmです。

今日は 関数型都市忘年会 の日です

実家に帰るついでにふらっと立ち寄ります。ってことで、札幌に向かっています。午前中は関数型都市忘年会に出席します。途中で退席予定です。

今日は 第5回 スタートHaskell の日です

生憎の雨ですが、大森ベルポートのニフティさんに来てます。途中退室の予定ですが、居る間に聞いた内容をメモ。

今日はYAPC::Asia Tokyo 2011の2日目です

あいにくの雨ですが、今日も時間通り会場に到着しています。本日もgihyo.jpさんの特集のレポーターをやってます。参加されているみなさんと一緒に楽しみながらレポートしようと思っています。

今日はYAPC::Asia Tokyo 2011の1日目です

YAPC::Asiaの季節がやってまいりました。昨日は寝込んでいましたが、今日は朝から出席します。場所は東京工業大学大岡山キャンパスです。なお、今年もgihyo.jpさんの特集のレポーターをやってます。会場の熱気を伝えられるよう、頑張ります。なお、機材トラ…

函数プログラミングで集いに来ました

函数プログラミングの集い 2011 in Tokyo に来てます。途中退出しますが、居る間内容を適当にメモります。会場はIIJさんです。毎度のことながらすばらしい会場。この会は、神田でICFPという大きな国際的な学会が日本で行われるのにちなんでいるそうです。普…

今日は第2回スタートHaskell の日です

第2回スタートHaskellに来ていますので、レポートします。といっても、中身は全てProgramming in Haskell の話なのですが。 宿題の解説 / @yuzutechnology さん 宿題の答え合わせ。 問題2 : カリー化の問題。 問題3 : フレームレートやビットレートの計算。 …

今日は JavaScript ゲーム製作勉強会 Vol.2 の日です

Akiba.jsという集まりは初めて聞いたのですが、今日はJavaScript ゲーム製作勉強会 Vol.2に出席しています。会場はリクルートさんです。詳細はid:nakamura001 さんの撮影した動画を参照しましょう。

今日はHokkaido.pm #5の日です

旅行中にふらりと立ち寄ったので、内容をメモしておきます。ustreamはこちら。

今日はShibuya.pm #16の日です

今日は夏の正規表現祭りに参加していますので、自分用にメモします。ustreamもあります!

第15回FormalMethods勉強会に行ってきた

Coqのお勉強をしたくて出席してきました! 非常〜にわかりやすいチュートリアルで、おかげさまで概要がわかるようになりました。やはりこういう抽象的な内容は、文章より実際にレクチャーして頂いた方が掴みやすいですね。

今日はShibuya.pm #15の日です。

Shibuya.pm #15に出席予定です。昨日に引き続き、IIJさんの大会議室に向かってます。ストリーミング中継もあるらしいです。

今日は「帰ってきた Python Workshop 2010/12」の日です

ケータイの予備バッテリーは2つ持ってきたのにケータイを忘れましたが、気を取り直して出席します! ハッシュタグは#pw1012みたいです。