実用期を迎えた関数プログラミング
-
- いいね！0
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
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
@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