2012年3月10日

実用期を迎えた関数プログラミング

2012/3/5 開催SEAフォーラム「実用期を迎えた関数プログラミング」に関するつぶやきのまとめです
1
NOMURA Yukinori @ynomura

「関数プログラミング」勉強してみるか。 RT @sea_jp: 参加者にご執筆いただいたレポートを公開しました。/ SEA Forum March 2012「実用期を迎えた関数プログラミング」参加レポート http://t.co/vA50SCmD #seaforum0305

2012-03-09 09:07:41
ソフトウェア技術者協会 @sea_jp

参加者にご執筆いただいたレポートを公開しました。/ SEA Forum March 2012「実用期を迎えた関数プログラミング」参加レポート http://t.co/5JLwZ9ZO #seaforum0305

2012-03-09 07:28:26
Akira Nonaka @anonaka

トップエスイー特別講義「定理証明と検証」は満席となりました.処理系インストールしないとあかん.  http://t.co/e6lKZZgK #seaforum0305

2012-03-08 21:59:12
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

ストレージのは「データの永続性」、関数プログラミングのは「永続データ構造」がしっくりきます。 RT @anonaka 「永続データ」という用語は,伝統的プログラミングの世界と関数プログラミングの世界で意味が異なるので注意が必要です.  #seaforum0305

2012-03-08 03:57:29
Akira Nonaka @anonaka

「永続データ」という用語は,伝統的プログラミングの世界と関数プログラミングの世界で意味が異なるので注意が必要です.  #seaforum0305

2012-03-07 22:04:23
Akira Nonaka @anonaka

山本さんの「関数プログラミング入門」の記事が掲載されています.WEB+DB PRESS Vol.67 http://t.co/WefdR022  #seaforum0305

2012-03-07 22:01:42
Akira Nonaka @anonaka

お,いつの間にやら http://t.co/BPysf8Zy というドメインが出来ておる. #seaforum0305

2012-03-07 21:54:31
Akira Nonaka @anonaka

関数プログラミングフォーラム.酒匂さん発表スライドはこちらです.http://t.co/rNd3s8Oq  #seaforum0305

2012-03-07 21:48:48
おしいれのぼうけん @osiire

資料アップしました。関数プログラミングのエッセンスと考え方: http://t.co/nkZeQP4f #seaforum0305

2012-03-06 23:32:58
Akira Nonaka @anonaka

小笠原さんの,キーノートスピーチのスライドはこちらです. http://t.co/ahWP7YmA  #seaforum0305

2012-03-06 21:38:01
おしいれのぼうけん @osiire

本日SEAフォーラムにお越しの皆様、ありがとうございました。お役にたてていれば幸いです。資料は後日アップします。#seaforum0305

2012-03-05 23:16:32
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

お疲れさまでした。楽しかった! #seaforum0305 RT @kazu_yamamoto Sea Forum の資料「Web アプリケーション・フレームワーク Yesod」を公開しました。 http://t.co/1xx0ahjN

2012-03-05 21:27:57
makotow @makotow

ツイートした人に心当たりがあったので探してみました。無事ハッシュタグ発見。面白そうなのでがっつり見てみます。 #seaforum0305

2012-03-05 20:54:41
佐原伸 @donkeyshin

2次会で終わり。楽しかったですね(^-^)/ “@tomooda: 懇親会一次会終了。離脱帰投。楽しかった!  #seaforum0305

2012-03-05 20:47:18
Kota Mizushima (on a diet) @kmizu

帰宅ったー。パネルディスカッションは、ちょっと議論が発散気味だった気もするけど、楽しかったです。 #seaforum0305

2012-03-05 20:20:43
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

→水島氏 前職ではゲリラ的に使った。今の職場ではメッセージングシステムのプロトタイプ。会社でオーソライズされている。 #seaforum0305

2012-03-05 17:07:01
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

→酒匂氏総論賛成各論反対に対して、コンパクトに書けるなど、関心を持っている人にアプローチ。 #seaforum0305

2012-03-05 17:04:23
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

仕事で使っている人は、どんな仕事で、どんなグループでやってるか→(山本氏)研究者なんで勝手に。Haskellで仕事してる会社はある。社内ツール作りなどで始めるといいかも。 #seaforum0305

2012-03-05 17:01:32
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

文字列のエンコードの扱いは?→HaskellはTextで扱える。ocamlは業務上問題ありません。scalaはJava同様。 #seaforum0305

2012-03-05 16:59:36
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

なぜ名古屋で盛ん?→(小笠原氏)ocaml使おうとしたとき名古屋大学の人がいたのに加えて、独立してやってる人もいた。 #seaforum0305

2012-03-05 16:56:54
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

動的言語は?LISPなど→(小笠原氏)LISPはマルチパラダイム。schemeは結構静的で関数プログラミング的。 #seaforum0305

2012-03-05 16:55:09
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

再帰を使った悪しき一枚岩について、合成で記述するためにはどうするか?→(山本氏)合成での表現で順番がF#はわかり易い。高階関数の引数の順番は大事。ライブラリ読んでその心を掴む。 #seaforum0305

2012-03-05 16:52:53
1 ・・ 7 次へ