2010/06/28 00:00:06 00:01:45 + kairi(~kairi@i125-202-185-189.s10.a030.ap.plala.or.jp) to #ぱそ 00:04:10 ! akiraani ("祝!ソリッドファイター完全版") 00:20:49 ! Pikoyan ("次のピコやんはきっと上手くやってくれるでしょう") 00:36:23 S2GM_Boku -> Aki-ash 00:51:11 ! Stella ("See you...") 00:53:46 ! tatsu114 (Connection reset by peer) 2010/06/28 01:00:00 01:00:35 + southmobi(~chocoa@ntkngw097226.kngw.nt.ngn4.ppp.infoweb.ne.jp) to #ぱそ 01:43:50 MOTOI -> MOTOsleep 01:47:27 + SiIdeKei(~siidekei@EM114-51-154-134.pool.e-mobile.ne.jp) to #ぱそ 01:49:49 ! SiIdeKei_ (Ping timeout) 01:59:28 ! PenEE ("Why do you need...?") 2010/06/28 02:00:00 02:34:09 ! noraneco ("Leaving...") 2010/06/28 03:00:00 03:02:40 ! utako ("TakIRC") 03:04:47 ! MOTOsleep ("だから僕たちみんな、野球場へ行こう") 03:26:20 ! hohoho (EOF From client) 2010/06/28 04:00:00 04:21:24 + hohoho(~hohoho@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp) to #ぱそ 2010/06/28 05:00:00 05:00:06 [!] auto down 2010/06/28 05:00:15 05:00:15 [!] ./madoka.rc updated 05:00:15 [!] Start: madoka 4.2.8 with perl 5.8.8 05:00:16 [!] server: irc.trpg.net(6667) 05:00:16 plugin new: ./plugin/yuurii/ans_action.mpi 05:00:17 plugin new: ./plugin/yuurii/dice2.mpi 05:00:17 plugin new: ./plugin/yuurii/bot.mpi 05:00:17 plugin new: ./plugin/yuurii/convnick.mpi 05:00:18 plugin new: ./plugin/yuurii/autoans.mpi 05:00:18 plugin new: ./plugin/yuurii/.botrceuc 05:00:18 plugin new: ./plugin/yuurii/.botrcjis 05:00:18 plugin new: ./plugin/yuurii/dengon.mpi 05:00:25 + dice2(~dice@sv1.trpg.net) to #ぱそ 05:00:35 Mode by cokage: #ぱそ +o dice2 05:51:07 ! hohoho (EOF From client) 2010/06/28 06:00:00 06:32:50 ! kurov ("Leaving...") 06:34:39 ! showaway ("Leaving...") 06:39:17 + showaway(~showaway@3d7229a7.tcat.ne.jp) to #ぱそ 06:55:37 + Pikoyan(~Pikoyan@p1239-ipbf1006funabasi.chiba.ocn.ne.jp) to #ぱそ 2010/06/28 07:00:00 07:00:00 ! log ("auto down") 07:00:04 + log(~homepage@sv1.trpg.net) to #ぱそ 07:00:10 Mode by dice2: #ぱそ +o log 07:36:13 Yaduka -> Yad_Away 07:46:20 + SiIdeKei_(~siidekei@EM114-51-44-95.pool.e-mobile.ne.jp) to #ぱそ 07:48:51 ! SiIdeKei (Ping timeout) 2010/06/28 08:00:00 08:01:57 ! Pikoyan ("次のピコやんはきっと上手くやってくれるでしょう") 08:15:51 + HORIZON(~horizon@EM114-48-9-28.pool.e-mobile.ne.jp) to #ぱそ 08:15:58 + Stella(~UserID@122x213x68x195.ap122.ftth.ucom.ne.jp) to #ぱそ 08:35:00 + dain(~dain@220x151x204x243.ap220.ftth.ucom.ne.jp) to #ぱそ 08:38:26 ! ExiZ ("High Ping...") 08:41:26 + yasaii(~yasaii@p2004-ipbf308sasajima.aichi.ocn.ne.jp) to #ぱそ 08:45:19 + takasiAFK(~takasi_se@i121-117-127-1.s05.a012.ap.plala.or.jp) to #ぱそ 2010/06/28 09:00:00 2010/06/28 10:00:00 10:00:02 ! cokage ("お風呂お風呂〜♪") 10:00:04 + cokage(~licorice@sv.cokage.ne.jp) to #ぱそ 10:00:12 Mode by dice2: #ぱそ +o cokage 10:58:06 <#ぱそ:Stella> 北畠徹也氏、戦線布告。「Perlは株式会社テラ・インターナショナルの登録商標ですと書け」 http://neta.ywcafe.net/001103.html 10:58:09 <#ぱそ:Stella> ありゃりゃあ 2010/06/28 11:00:00 11:00:03 ! cre_log ("auto down") 11:00:50 + cre_log(~log@ns.cre.ne.jp) to #ぱそ 11:00:56 Mode by cokage: #ぱそ +o cre_log 11:02:36 + ponzz(~ponzz@p4046-ipbf1302souka.saitama.ocn.ne.jp) to #ぱそ 11:11:00 + hohoho(~hohoho@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp) to #ぱそ 11:22:23 + hohoho_(~hohoho@bmdk0210.bmobile.ne.jp) to #ぱそ 11:22:39 ! hohoho_ (EOF From client) 11:23:14 + hohoho_(~hohoho@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp) to #ぱそ 11:23:33 ! hohoho (No route to host) 11:36:32 ! hohoho_ (EOF From client) 11:45:00 + hohoho(~hohoho@ntkngw227224.kngw.nt.ftth.ppp.infoweb.ne.jp) to #ぱそ 11:55:21 ! dain (Ping timeout) 2010/06/28 12:00:00 12:08:23 + tatsu114(~tatsu114@catv-114-192.tees.ne.jp) to #ぱそ 12:31:49 ! hohoho (EOF From client) 12:58:39 ! tatsu114 ("視野を広げたい") 2010/06/28 13:00:00 13:03:13 <#ぱそ:asahiya> 『iPhone 4』を買って損した理由(ロケットニュース24) - エキサイトニュース http://www.excite.co.jp/News/net_clm/20100625/Rocketnews24_38096.html 13:03:43 <#ぱそ:asahiya> >とにかく、システムや動作スピードよりも液晶画面に対する不満をもらしている人が多いようで、「なんか『iPhone 3GS』のままでも良かったな」と思っている人が多いようだ。 13:04:37 <#ぱそ:Stella> しいでさんは勝ち組 13:04:41 <#ぱそ:asahiya> なんとゆーか、新商品をすぐ買っちゃう人 というのは、「人柱属性」を常に持ち合わせているのかな と思った 13:05:05 <#ぱそ:asahiya> うむ。なんかしいでさんに読んで欲しくなったのですよー 13:13:40 <#ぱそ:takasiAFK> |・)3GSを春に買った自分も勝ち組でいいですか? 13:14:23 <#ぱそ:Stella> 勝敗なし 13:14:43 <#ぱそ:takasiAFK> (´・ω・`) 13:32:45 + H_Aoi(~chocoa@p23181-adsao01daikai-acca.hyogo.ocn.ne.jp) to #ぱそ 13:44:29 + ao_note(~ao_note@s184156.ppp.asahi-net.or.jp) to #ぱそ 13:44:50 ! SiIdeKei_ (Connection reset by peer) 13:47:28 + SiIdeKei(~siidekei@EM114-51-42-87.pool.e-mobile.ne.jp) to #ぱそ 2010/06/28 14:00:00 14:07:28 ! H_Aoi ("精進精進") 14:16:12 + HORIZON_(~horizon@EM114-48-161-168.pool.e-mobile.ne.jp) to #ぱそ 14:20:10 ! HORIZON (Ping timeout) 14:49:54 <#ぱそ:takasiAFK> ツイッターのAPI制限厳しくなったなぁ……。 14:50:10 <#ぱそ:takasiAFK> Webで見たり書き込んだほうがいいのかしら 2010/06/28 15:00:00 15:09:28 <#ぱそ:takasiAFK> Tweenの設定を見直したら大分よくなった気がする 15:09:31 + ExiZ(~exiz@c243.nasicnet.com) to #ぱそ 15:19:20 + hohoho(~hohoho@o199-186.pubnet.titech.ac.jp) to #ぱそ 15:55:23 ! kairi ("See you...") 2010/06/28 16:00:00 16:03:03 + Pikoyan(~Pikoyan@p1239-ipbf1006funabasi.chiba.ocn.ne.jp) to #ぱそ 16:26:51 ! yasaii ("Leaving...") 2010/06/28 17:00:00 17:12:06 + tatsu114(~tatsu114@catv-114-192.tees.ne.jp) to #ぱそ 17:32:58 + LizardMen(~LZD@ntaich307199.aich.nt.ftth4.ppp.infoweb.ne.jp) to #ぱそ 17:33:11 fukaNeoki -> fukaFuton 17:33:33 navycut -> navy_mesi 2010/06/28 18:00:00 18:02:27 + shiracha_(~shiracha_@d193-093.jaist.ac.jp) to #ぱそ 18:02:42 <#ぱそ:shiracha_> こんばんは。はじめまして。よろしくお願いします〜。 18:03:04 <#ぱそ:sf> こんばんは 18:03:35 <#ぱそ:MorrisAFK> にゃふー 18:04:20 <#ぱそ:shiracha_> 別チャンネルでお世話になっておりますあ。こちらでもよろしくお願いします−。>sfさん/Morrisさん 18:05:09 <#ぱそ:shiracha_> ここは、ソフトウェア開発のチャンネルでよかったです、よね? 18:05:17 <#ぱそ:MorrisAFK> というわけでこのノーパソで 18:05:28 <#ぱそ:MorrisAFK> Flashの練習などしております 18:05:49 <#ぱそ:shiracha_> ActionScriptいい言語ですね。ECMAScript系列は好きです 18:05:52 <#ぱそ:MorrisAFK> まあ、Topic見れば一目瞭然でしょうw 18:06:02 <#ぱそ:shiracha_> でした。。。w>トピック 18:06:07 <#ぱそ:MorrisAFK> しっかり「開発」の2文字が。 18:06:27 <#ぱそ:shiracha_> 「the fun of programming/関数プログラミングの楽しみ」が部屋に届いたので 18:06:30 <#ぱそ:shiracha_> これをちょっと読みたいんですが 18:06:46 <#ぱそ:shiracha_> 後回しかなって気もしてます 18:12:14 <#ぱそ:shiracha_> fold / unfoldあたりの記事に興味があるんですが 18:12:27 <#ぱそ:shiracha_> 証明問題の多い本なので読むコストが高いんだよなあ。。。 18:13:12 + kurov(~kurov@p1128-ipbf5003marunouchi.tokyo.ocn.ne.jp) to #ぱそ 18:13:32 <#ぱそ:sf> ほー 18:13:36 <#ぱそ:sf> .k 関数プログラミングの楽しみ 18:13:36 <#ぱそ:Role> キーワード一覧の http://www.koubou.com/keywords/%E9%96%A2%E6%95%B0%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%81%AE%E6%A5%BD%E3%81%97%E3%81%BF をどうぞ♪ 18:14:14 <#ぱそ:sf> 関数プログラミングの楽しみ http://www.koubou.com/asin/4274068056 18:15:59 <#ぱそ:shiracha_> ぱらぱらとは読んだので少しレビューすると 18:16:17 <#ぱそ:shiracha_> Haskellを書く人なら、楽しめると思います 18:17:02 <#ぱそ:sf> 関数プログラミングの楽しみ - あどけない話 http://d.hatena.ne.jp/kazu-yamamoto/20100617/1276741517 18:17:03 <#ぱそ:sf> 記念論文集的な感じなのか知らんと思った 18:17:05 <#ぱそ:shiracha_> トピックがかなり尖ってて、(たとえば、関数型言語の中で、MMLのような、音楽用の言語をDSLとして実装する話とか) 18:17:17 <#ぱそ:shiracha_> そういうのもおもしろいですし 18:17:35 <#ぱそ:shiracha_> 結構驚けるコードもでてくるです 18:17:55 <#ぱそ:shiracha_> 関数型言語でコーディングする引き出しを増やしたい人にお勧めかな。 18:18:31 <#ぱそ:shiracha_> ただ、出てくるのに証明問題が多いし、その証明を元に話が進んだりするので、まともに読むと時間がかかりそうです。(未読) 18:19:36 <#ぱそ:sf> ふむふむ 18:20:38 <#ぱそ:shiracha_> 個人的には第十章に碧さんが出てきてうれしいですねえ。矢印矢印。(違) 18:21:22 <#ぱそ:sf> 使う分には手続き型でもアルゴリズムの証明すっとばして読んで使うことが多いんで、そのへんがしっかり書かれてるってのは、やはり記念論文集っぽいやねー 18:21:33 <#ぱそ:shiracha_> 圏論には意味論の問題以上のものがあるのかなーとか少し考えてしまったりする内容です 18:22:05 <#ぱそ:shiracha_> そういえば、アルゴリズムの証明なら二章にQuickCheckでSemiFormalMethodの話があるんで 18:22:13 <#ぱそ:shiracha_> これは有用かなと思ったり 18:23:40 <#ぱそ:sf> 圏論はけっしょくやってないなー。関数型言語はまともにやらないままになってるし。いろいろやってないことあるなあ 18:24:28 <#ぱそ:shiracha_> まあ普通に代数やってりゃ事足りますしねえ。 18:24:55 ! southmobi (Ping timeout) 18:25:30 <#ぱそ:MorrisAFK> 「関数型」ってどういう分類でしょう 18:26:53 <#ぱそ:sf> ははあ、QuickCheckってのは宣言的な正当性証明テストツールなのか 18:26:55 <#ぱそ:shiracha_> どうなんでしょうね。割と哲学的な話になりそう。でも俗に言う関数型っていうのは結局は項書き換え系なのかも 18:27:30 <#ぱそ:shiracha_> まあそこは見なし方によるか。 18:27:53 <#ぱそ:shiracha_> QuickCheckはセミフォーマルメソッドの実現のためのフレームワークて感じですねー。 18:28:27 <#ぱそ:shiracha_> 関数に対する大域的な性質を書いて、それを仕様と見なしましょう。みたいな 18:28:39 <#ぱそ:shiracha_> で、大域的な性質のほうから、テストケースを自動で大量生成します。すごいでしょ?みたいな物 18:28:53 <#ぱそ:sf> ふむー 18:29:04 <#ぱそ:sf> .k QuickCheck 18:29:04 <#ぱそ:Role> キーワード一覧の http://www.koubou.com/keywords/QuickCheck をどうぞ♪ 18:29:04 <#ぱそ:shiracha_> 厳密なFormalmethodの適用が難しい物でも使えるのは利点だと思うです 18:29:18 <#ぱそ:sf> なるほど。だからsemiなのか 18:29:42 <#ぱそ:shiracha_> ただHaskellはせっかくIOMonadとか副作用周りを分離する仕組みが整ってるので 18:29:52 <#ぱそ:sf> .k 関数型言語 18:29:52 <#ぱそ:Role> キーワード一覧の http://www.koubou.com/keywords/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E をどうぞ♪ 18:30:05 <#ぱそ:shiracha_> 副作用なしの関数については構造帰納法で証明するように実装してもよかったんじゃないかなあと思ったりします 18:30:42 <#ぱそ:sf> 関数型言語というと副作用を使わない言語というイメージがあるが、今は純粋な関数型言語というのか、なるほど 18:31:16 <#ぱそ:shiracha_> まあ言語の設計哲学の問題でしょうと思います 18:31:31 <#ぱそ:shiracha_> そもそも関数型は副作用を持たないっていうのは見なしの問題で 18:31:56 <#ぱそ:shiracha_> 本質的に計算時間が重要だったりすると、そういう話は破綻しますし。 18:32:21 <#ぱそ:shiracha_> (時間を得る操作がそもそも副作用的なのだから関係ないとかいう議論もありますが) 18:34:04 <#ぱそ:sf> なるほど副作用を分離するためにモナドというのがあるのか。なんだかんだいって色々と進歩してるよなー。 18:34:42 <#ぱそ:sf> .k Haskell 18:34:42 <#ぱそ:Role> キーワード一覧の http://www.koubou.com/keywords/Haskell をどうぞ♪ 18:36:10 <#ぱそ:shiracha_> えっと、Monadは副作用の分離のためにも使えるだけではあります。 18:36:39 <#ぱそ:shiracha_> 本質的には、計算の抽象化のためのフレームワークって感じかなあ。 18:36:43 <#ぱそ:sf> ふむー 18:37:27 <#ぱそ:shiracha_> あ、ところでこのチャンネルで今アツい技術は何ですか 18:39:00 <#ぱそ:sf> 最近は、あんまり技術面の話題がなかったかも 18:39:41 <#ぱそ:shiracha_> 過去ログ読むべきか。 18:40:11 <#ぱそ:shiracha_> twitter, iPhoneあたり・・・? 18:40:36 <#ぱそ:sf> ですかね 18:42:41 <#ぱそ:shiracha_> その辺触ってないよなあ。twitterアカウントは持ってるのですが。BOTでもつくってみよかしらん。 18:44:13 <#ぱそ:shiracha_> 食事行きますー。また後でー。ノシ 18:44:53 ! shiracha_ ("Leaving...") 18:53:49 + Fish(~Fish@p3054-ipngn1203marunouchi.tokyo.ocn.ne.jp) to #ぱそ 18:53:57 ! ponzz ("Leaving...") 18:54:36 + fukanju(~fukanju@FL1-119-242-248-227.oky.mesh.ad.jp) to #ぱそ 18:56:26 + fukaHome_(~fukanju@FL1-119-242-248-227.oky.mesh.ad.jp) to #ぱそ 18:59:55 ! fukaFuton (Ping timeout) 2010/06/28 19:00:00 19:01:32 + SNAKEEYES(~snakeeyes@NWTfb-10p7-81.ppp11.odn.ad.jp) to #ぱそ 19:01:45 ! fukaHome (Ping timeout) 19:02:15 ! hohoho (EOF From client) 19:05:26 + aspha(~aspha@p1128-ipbf205otsu.shiga.ocn.ne.jp) to #ぱそ 19:18:31 + shiracha(~shiracha@pfa78be.iskwnt01.ap.so-net.ne.jp) to #ぱそ 19:30:20 + hohoho(~hohoho@bmdk0210.bmobile.ne.jp) to #ぱそ 19:31:40 + akiraani(~akiraani@EM119-72-120-140.pool.e-mobile.ne.jp) to #ぱそ 19:46:36 + SiIdeKei_(~siidekei@EM114-51-87-86.pool.e-mobile.ne.jp) to #ぱそ 19:48:58 ! SiIdeKei (Ping timeout) 19:54:56 + utako(~utako@KD113151167092.ppp-bb.dion.ne.jp) to #ぱそ 2010/06/28 20:00:00 20:03:47 ! hohoho (EOF From client) 20:20:17 ! HORIZON_ (Ping timeout) 20:25:48 ! takasiAFK ("それではノシ") 20:34:08 V-zEn -> V-zEnWORK 2010/06/28 21:00:00 21:03:01 + Ruki_(~Ruki@202.211.150.220.ap.yournet.ne.jp) to #ぱそ 21:05:54 ! Ruki (Ping timeout) 21:09:54 ! Toyolina ("") 21:13:28 + Toyolina(~Toyolina@7c29320c.i-revonet.jp) to #ぱそ 21:14:33 Mode by sf: #ぱそ +o Toyolina 21:23:54 + OTE(~metral@FL1-118-110-42-253.osk.mesh.ad.jp) to #ぱそ 21:23:57 <#ぱそ:Toyolina> http://www.koubou.com/ASIN/B003TFEVY4/ ねんどろいどミッキーマウス 21:24:12 <#ぱそ:Toyolina> 胸熱 21:24:40 + fukaNote(~fukanju@FL1-119-242-248-227.oky.mesh.ad.jp) to #ぱそ 21:27:17 + fukaFuton(~fukanju@FL1-119-242-248-227.oky.mesh.ad.jp) to #ぱそ 21:27:50 ! ao_note ("Leaving...") 21:30:01 ! fukaNote0 (Ping timeout) 21:32:47 ! fukanju (Ping timeout) 2010/06/28 22:00:00 22:05:19 Mizar -> _MizarObs 22:30:26 ! OTE ("Leaving..") 22:33:50 + OTE(~metral@FL1-118-110-42-253.osk.mesh.ad.jp) to #ぱそ 22:45:39 + dain(~dain@220x151x204x243.ap220.ftth.ucom.ne.jp) to #ぱそ 22:49:14 ! Pikoyan ("次のピコやんはきっと上手くやってくれるでしょう") 2010/06/28 23:00:00 23:05:42 + MOTOI(~MOTOI@219-117-185-245.cnc.jp) to #ぱそ 23:20:00 Yad_Away -> Yaduka 23:26:43 ! r-aokaze ("Leaving...") 23:34:14 + southmobi(~chocoa@ntkngw164034.kngw.nt.ngn4.ppp.infoweb.ne.jp) to #ぱそ 23:38:12 + ao0(~ao@116-64-240-234.rev.home.ne.jp) to #ぱそ 23:38:53 ! dain ("Leaving...") 23:39:03 + kairi(~kairi@i125-202-185-189.s10.a030.ap.plala.or.jp) to #ぱそ 23:45:38 ! aspha ("Leaving...") 2010/06/29 00:00:01 end