関数型プログラミング言語Haskell
■ このスレッドは過去ログ倉庫に格納されています
0001潜伏していた1
NGNG前スレ
http://pc.2ch.net/test/read.cgi/tech/996131288/l50
関連 >>2 以降
0263デフォルトの名無しさん
NGNGFranTk
0264デフォルトの名無しさん
NGNG0265デフォルトの名無しさん
NGNG女装は代入ではありません。ラップするだけです。
本人への参照はそのままにしてください。
女装人格←女装関連の知り合い
↓
本人人格←普通の知り合い
私個人は女装人格をそのまま丸投げの委譲によって実装しているので、
実質どっちを見てても服装と化粧以外はさほどかわりません。
>>262
頑健なソフトウェアを構築するには
例外の存在をなかったことにして無視してはいけません。
0267デフォルトの名無しさん
NGNGつまらんし。
0269デフォルトの名無しさん
NGNG昨日、母の葬式に出たんです。享年54歳。
そしたらなんか自分、涙が一滴もこぼれないんです。
で、よく見たら会ったこともないような親戚のおばさんですら泣いているんです。
もうね、アホかと。馬鹿かと。
俺な、親の死を目の前にして放心してんじゃねーよ、ボケが。
目の前に人が死んでるんだよ、母親が。
なんか親子連れとかもいるし。一家４人で葬式か。ほんとありがとう。
パパは息子さんに挨拶してくるから車で待ってなさい、とか言ってるの。いい親父だな。
俺な、親が死んでんだからもっと泣けと。
葬式ってのはな、もっと殺伐としてるべきなんだよ。
死に化粧をみた瞬間いつ涙があふれてきてもおかしくない、
泣くか叫ぶか、そんな雰囲気が普通なんじゃねーか。オレ、なんなんだよ。
で、やっと葬式が終わったかと思ったら、なんか次々と母のことが思い出されるんです。
そこでまたぶち切れですよ。
あのな、今さら思い出したところで意味ねーんだよ。ボケが。
得意げな顔して何が、今度の休みには帰るよ、だ。
俺は本当に休みに帰るつもりだったのかと問いたい。問い詰めたい。小１時間問い詰めたい。
俺、適当に親との距離をとりたかっただけちゃうんかと。
親不孝者の俺から言わせてもらえば今、若者の間での最新流行はやっぱり、反抗期、これだね。
親ってのはいつまでも生きているもんだと思っている。これがガキの考え方。
親の期待をかなえたつもりで一人暮らし。そん代わりコミュニケーション少なくなる。これ。
で、「少しだけ仕送りいれといたから」 「ああ、無理すんなよ」。これ最期の会話。
今になって後悔ばかりが思い出される、諸刃の剣。
まあお前ら若いもんは、ほんの少しでもいいから親孝行しなさいってこった。
0270デフォルトの名無しさん
NGNGつうか、がっこで関数言語やってた奴が、
仕事でオブジェクト指向の世界に戻されると、
「このオブジェクト指向言語の型システムは...」とか、
「RDBの動的型が云々...」って事を無意識に考えてしまって、結構ハマるんだよね。
そーゆー意味で、関数言語関係者を招聘したMS Researchの今後に期待
0271デフォルトの名無しさん
NGNGすまん、>>256でいいのか？
0272デフォルトの名無しさん
NGNGというわけでこのスレでは Simon P.J. 先生を「サイモン博士」と
呼ぶことを漏れは提案したいっすけど駄目っすか？
0273デフォルトの名無しさん
NGNGそのせいで全国の工学部（の一部）の授業に拡散・伝染してるから、
1000部ぐらいすぐに出ると思ってたんだが、どうよ？
女装じゃ無理かもしれんが…（それとも女装のほうががいけるか！？）
0274デフォルトの名無しさん
NGNG0275デフォルトの名無しさん
NGNG売り子が女装でなくてじょせーだと嬉しい、ってオイ＞漏れ
0277デフォルトの名無しさん
NGNGみんなそんなもんか。
私は大堀先生に感化されてＭＬ使ってる。
0278デフォルトの名無しさん
NGNG女婿だと嬉しいの？
0279!275
NGNG出来ればレイヤーさんきぼ。
0280デフォルトの名無しさん
NGNG分岐予測ミスが発生してストールであぼーんな訳ですが、
関数型言語って手続き型に比べてその辺どうなの？
ガードの存在って影響ある？
CMOVccとかSETccとか使ってくれるのかな。
0281275
NGNG予測が当たりまくるタイプの条件分岐なら、
問題無いという話を，漏れは聞いたことがある．
で，外れまくってイヤソなタイプのコードもあって，
例えばブレゼンハムのアルゴリズムは，結構イヤソだ，
という報告も聞いたことがある．
漏れの直感ではイヤソなタイプという気がする．
GHC はバージョンupが烈しいんで，最近の奴は
自分にはようわからん．ココは Haskell 板なんで
Haskell の話と思ったが，もしかして strict な
奴の話も必要 ?
0282デフォルトの名無しさん
NGNGSETｃｃって何？
判定と分岐を分離して、間に命令をはさむDeleySlotの一種のような
ものと勝手に想像したがどう？
0283Super Combinator
NGNGCMOVcc: 条件付き移動命令。
if (条件)
var = X;
} else {
var = Y;
}
を
var = Y;
if (条件) var = X; // SETcc or CMOVcc
に。
もちろんvarはregister割り当てされてるのな。
0284デフォルトの名無しさん
NGNGx86にも最近のはついてるときいて感心した私。
っていうか、関数型言語って naiveな実装だと closure作りまくりで
予測分岐も糞もない、って気がするんだけどだめ?
ちゃんとかりかり tuning する、GHCみたいのだといいかんじになるのかも
しれないけど。よくわからん。
結論: 関数型言語は dataflow machineに実装しよう(ネタ)
0285デフォルトの名無しさん
NGNGネタとは言い切れん。
いい加減に今のアーキテクチャでのクロック向上ってのも物理的限界が
見えてきたしね。
0286デフォルトの名無しさん
NGNGそうだそうだ。(煽)
ついでに非同期って正義 ?
Crusoe の内部論理では活かされてるとか
聞いたことがあるけど ＞ 非同期
0287デフォルトの名無しさん
NGNGhttp://www.microsoft.com/japan/msdn/academic/ark/Webfiles/languages.htm#mondrian
0288デフォルトの名無しさん
NGNG盛り上げれ
0289石敢當
NGNG0290デフォルトの名無しさん
NGNG0291デフォルトの名無しさん
NGNGどなたかLinar Typeというものが、どんなモノか教えてもらえませんか？
「論文紹介：How to Declare an Imperative」
ttp://www.is.titech.ac.jp/~kando9/work/Progress/Monad/Monad.html
で見た限り純粋関数型言語でIOや状態を扱うのに
将来有望そうな理論（技術？）に見えました。
ttp://citeseer.nj.nec.com/ のどこかとかが参考になりそうですが
どれが良いのやら。さっぱり。
だれか基礎と応用の両方を教えていただけないでしょうか？
お願いします。
0292デフォルトの名無しさん
NGNGそしたら、そこからreferされてる論文を次に読むとか…
（citeseerがOKなら英語でOKだよね。）
とりあえず、すでにHaskellを知ってるなら、Cleanって言語の
uniqueness typingって仕組みを使ってみるのが吉かと。
http://www.cs.kun.nl/~clean/で合ってる？＞もっと詳しい人
0293デフォルトの名無しさん
NGNG論理にヨワい自分は岩波の 2 冊本
「コンピュータサイエンス入門」
で、やっとこ様相論理に辿り付いたトコなんで
有意義な助言はできんが...
とりあえずロジックに関してどれくらいわかってます ?
>>291
0294デフォルトの名無しさん
NGNGhttp://www.google.co.jp/search?q=%E7%B7%9A%E5%BD%A2%E8%AB%96%E7%90%86&ie=UTF-8&oe=UTF-8&hl=ja&lr=
0296デフォルトの名無しさん
NGNG0297デフォルトの名無しさん
NGNGそれは言える…
CleanとかMLとかは速いらしいのに！
0298名無しさん＠Ｅｍａｃｓ
NGNGコンパイラ自体がhaskellで書かれてる
ことによる遅さがちょっとイラつかせる。
また勉強中の身だから偉そうなことは
いえないですね。失礼しました。
0299デフォルトの名無しさん
NGNG0300291
NGNG>>292
英語は、辞書が在れば何とか読めるという程度です。
「uniqueness typing」ですか。Cleanの特徴の一つらしいですね。
評価するたびに違う(多様?)型を生成するというぐらいしか知りません。
参照透明性は確保されそうですが、使いやすいの？
というぐらいの認識しかありません。もう少し調べてみます。
>>293
私も論理に弱いです。
Linear Ligicと言われても、使った公理は無くなる。
つまり公理の有る無しで状態を表すようにするという位しか
わかっていません。
この認識も間違っているかもしれませんし・・・
つたない英語力と乏しい知識を総動員して何か判りやすい文章、本、論文
は無いかとあさっているという状態です。
>岩波の 2 冊本「コンピュータサイエンス入門」
ですか今度、大きい本屋に行ったときでも見てみます。
>>294
日本でも沢山の所が研究しているんですねー。
みてみます。
0301デフォルトの名無しさん
NGNGそれはグラスゴ大-MSRのサイモン教授のコンパイラの話 ?
手軽に遊ぶには、HUGS とかシャルメル大のコンパイラが
おすすめ。
>>300
キーワードは「非古典論理」「数理論理学」といったとこだ。
まとまった解説がウェブには無い（記号が、紙媒体だと圧倒的に
見やすい）のと、ちょい高価だったりなので、そのテの本が
揃った図書館を確保できないと辛いかも。
岩波のそれは時相論理という論理の解説がメイン。
（線形論理も時相論理も様相論理といわれる論理の
一種）線形論理の解説書は一冊だけらしい。
IPSJ の学会誌とか研究報告が見れるんなら↓あたりが手頃そうだ。
ttp://www.ipsj.or.jp/members/Magazine/Jpn/3006/
ttp://www.ipsj.or.jp/members/SIGNotes/Jpn/22/1993/015/article012.html
0302デフォルトの名無しさん
NGNG＞CleanとかMLとかは速いらしいのに！
non-strict な ML と、strict な Haskell を
比較すんなよ (;_;) せめて LazyML とか
0303291
NGNG国立奈良工業高等専門学校の先生のページに
論理型言語ですが時相と線形理論に関する論文載っていました。
ttp://kaminari.scitec.kobe-u.ac.jp/papers/index.html
少し判った気がします。
でも、これを如何いうふうに関数型言語に輸入すればいいのやら。
あと、下の本知っている人いますか？
線型論理入門 竹内 外史
ttp://www.amazon.co.jp/exec/obidos/ASIN/4535782148/
0304291
NGNG>岩波のそれは時相論理という論理の解説がメイン。
そうなんですか。買おうかな。
>IPSJ の学会誌とか研究報告が見れるんなら↓あたりが手頃そうだ。
学術誌は・・・。大学生のころは読めたのにね。
地元の大学言ってみような？如何しようかな？
0305デフォルトの名無しさん
NGNG逆
0306名無しさん＠Ｅｍａｃｓ
NGNGCとC++
JavaとC#
PerlとRuby
他にもそういうの多いですがね。
0307デフォルトの名無しさん
NGNGそういう低次元な話にもっていくな。
0308302
NGNG>>306
別に、いがみあう必要ないじゃん。Standard ML では、
引数は適用される前に評価される、Haskell では、
普通はそうじゃない、ってダケの話。
他のヤツだって。.NET 使いたいなら C# 、
ケータイ用アプレットが作りたいなら Java とか、
現実、選択肢は広く持っていたほうが楽しいん
だからさ。
0309デフォルトの名無しさん
NGNG0310デフォルトの名無しさん
NGNGたぶん module 機構がソレ。
Haskell98 仕様書の 5 節、
じぇんとるいんとろの 11 節。
ttp://www.haskell.org/onlinereport/modules.html
ttp://www.haskell.org/tutorial/modules.html
0311デフォルトの名無しさん
NGNGあ、ほんとだ。ｻﾝｸｽｺ
0312デフォルトの名無しさん
NGNGSMLでも遅延評価でますよね。
Hsakellほど積極的では無いですが。
0313デフォルトの名無しさん
NGNG>PerlとRuby
この変は似たもの同士だからだろ？
0314哲板過去ログから
NGNGhttp://mentai.2ch.net/philo/kako/996/996975732.html
114 名前： 考える名無しさん 投稿日： 02/03/08 02:04
「論理学」スレの過去ログから。
229 名前： 考える名無しさん 投稿日： 01/12/10 18:21
論理学の基本的教科書とは何ですか？
様相論理とか線形論理を一通り学びたいのですが。
英語のものでいいものを教えてください。
230 名前： ↑ 投稿日： 01/12/10 18:39
A.S. Troelstra, Lectures Linear Logic, CSLI Lecture Notes 29 (1991）
線形論理の入門書で、線形論理のゼロからを勉強できる本です。線形論理導入のモチベーシ
ョンから始まって、様々なヴァリエーションの線形論理とそれらの性質、代数的、圏論的モデル、
proofnetと、基本的な部分はかなり幅広くおさえてあり、そしてとても解りやすいです。しかも周辺
のトピックも広く紹介されているので、その辺を調べながら読めば、線形論理に限らず、証明論
の勉強になるのではないか、と思います。ただし、大きな問題は、GirardによるLinear Logicのオ
リジナル論文（その他、その後のLinear Logic関係のあらゆる論文）と記法が紛らわしい、というこ
と。嫌でも混同しやすいLinear Logicの記号なのに、同じ記号を別の意味で読み替えたりしなけ
ればならず、かなり厄介ですので、それは覚悟の上でどうぞ。
231 名前： ↑訂正 投稿日： 01/12/10 18:43
A.S. Troelstra, Lectures on Linear Logic, CSLI Lecture Notes 29 (1991）
http://www.amazon.co.jp/exec/obidos/ASIN/0937073784/
0315314続き
NGNG235 名前： 考える名無しさん 投稿日： 01/12/12 17:18
http://www.amazon.co.jp/exec/obidos/ASIN/0415126002/
をかいなさい。
242 名前： 考える名無しさん 投稿日： 02/01/06 15:37
>>229
いまどきならTroelstraとかHughes-Cresswell（古臭いっ）よりこっちがいい。
非古典論理を統一的に学べます．
http://www.amazon.co.jp/exec/obidos/ASIN/041521534X/
日本語なら小野寛晰先生の本がおすすめ。
244 名前： 考える名無しさん 投稿日： 02/01/10 02:32
>>242
おいおい、Hughes-Cresswell の第二版は 1996年に出たばかりだぞ。
なんかがらりとかわって別の本みたいになってると思ったけど、違うっけ？
今どきで、お手軽で様相論理絡みの非古典論理というなら、俺は、
http://www.amazon.co.jp/exec/obidos/ASIN/052179434X/
これをすすめたい。安いし、哲学の話もそれなりに多く書いてあるから、
この板の人向きと思うが。
0316291
NGNG私にとって言語（英語）の壁は厚いので
そんな立派な本は、ちょっと・・・
という感じです。
とりあえず「コンピュータサイエンス入門」と「線型論理入門」は買いました。
ゆっくり勉強したいと思います。
0317デフォルトの名無しさん
NGNGlinear logicの教科書まで読破する必要はないべ。（してもいいけど）
俺もlogicのほうは耳学問程度だが、linear typeのほうは
関連する研究で論文を発表できたぐらいには理解してる…つもり。
それよりもプログラム理論のお勉強のほうが重要かも。大堀先生の
「プログラミング言語の基礎理論」って教科書なんかどうだ。
線形型までいってないけど、それ以前に線形でない普通の型の理論を
理解しないと。
本を読むにしても、何も予備知識がないときついだろうから、以下で概説。
もし説明が下手で余計に混乱させちゃったらスマソ
0318317
NGNG言語によっていろいろと書き方は違うが、たとえばintだったら整数だし、
floatやrealだったら浮動小数だし、int -> floatだったら
整数から浮動小数への関数だし、int * floatとか(int, float)とかは
整数と浮動小数の組だし、要するに値を分類してるわけだ。
で、線形型ってのは普通の値の分類をもっと細かくして、
その値を使う「回数」の情報まで付け加えた型なんだ。
テキストだと書きづらいが、int ->1 floatとか
int ->0 floatとかint ->ω floatとか。
それぞれ、「１回だけ呼び出される関数」「決して呼び出されない関数」
「何回でも呼び出させる関数」の型。
0319317
NGNG・もう「決して使わない」ことがわかった値はゴミなので、ガベコレできる
・式の遅延評価をするときに、「1回しか使わない」とわかっている値は
後のために覚えなくても良いので、オーバーヘッドを減らせる
・逆に「必ず1回は評価される」ことがわかってる式は、そもそも
遅延評価しなくて良いので、やっぱりオーバーヘッドを減らせる
・同じように、「必ず1回は実行される」ことがわかってる副作用は、
（Haskellのモナドみたく）遅延しなくても良いので、MLみたく
その場で直ちに実行できる(?)
って感じ。最後のは俺がよく知らないので、Cleanとかに詳しい人がいたら
フォローをきぼんぬ。
0320Super Combinator
NGNG竹内外史の本はかなり手ごわい。
0321317
NGNG考慮した論理があって、linear typeも元々はそこから派生したそうな。
どんな論理かというと、よくある説明なんだが、
命題P = 「あなたは120円を持っている」
命題Q = 「コーラを買える」
命題R = 「お茶を買える」
とおいて、Pと「PならばQ」と「PならばR」の3つが成り立っているとする。
すると、普通の論理ならPを2回ほど使って「QかつR」を結論できてしまうわけだが、
120円でコーラとお茶の両方が買えるってのはおかしいよな。
だから、そういう「使ったらなくなる」ものを考えに入れて、
「命題Pは一回しか使えない」みたいな性質も考慮できるようにした論理が
linear logicというわけだ。上の例だと、Qを結論することはできるし、
それとは別個にRを結論することもできるが、「QかつR」を同時に
結論することはできない。
0322317
NGNG上のほうのWadlerのチュートリアルを読んでみるのが
（linear logicの教科書を読破するよりは）手っ取り早いと
思うんだが、どう？ もちろん、特定の目的じゃなくて
一般教養としてなら、linear logicの勉強もいいかもしれないけど。
もし英語が苦手だと最初は大変かもしれんが、この手の
（わりと）新しい話を少しでも突っ込んで調べようと思ったら、
何でも英語は避けて通れないと思われ。っていうか、下手な
日本語の解説よりも、上手な英語の説明のほうがわかりやすいかと。
0323Super Combinator
NGNGそれがlinear logic。>>321みたいなのを特にresource logicと呼ぶことがある。
0324317
NGNG嘘を教わっているか、思い違いをしてそうなので、
例のInformation & Computationをのっとった、Girardの
オリジナルの論文を読むと吉かと思われ。
Girardの「しゃべる」英語は激しいフランス訛りで、
発表を聞いてても個人的に話をしても言ってることが
すげーわかりにくいが（笑）、上の論文はわりとわかりやすい。
0325覚え違いスマソ
NGNG正: Theoretical Computer Science
0326291
NGNGみなさんの親切なレスが貰えてうれしいです。
>>319
論文読んでもlinear typeの構造が判ったような気がするというレベル
で止まっていました。なるほど。
linear type関連の論文て意外と少ないような気がしたので、そのバックにある
linear logicを勉強すればlinear typeのことが判るかな？という安易な動機しか
なんですけどね。
でも記号の操作のしかた忘れたなー。完璧に。
あとCleanですか？Downはしてますけど、使ったとき無いです。
うーんCleanも勉強すべきなのかな？
0327291
NGNGこの本は持っています。
読んでいますし、3割ぐらいは理解しているつもりです。
型推論も基礎となるアイデアも理解しているつもりです。
>上のほうのWadlerのチュートリアルを読んでみるのが
「Linear types can change the World!」は読んでいます
（20ページ程度の文書なら、英語でも読む気がするんですがね。）
でも、この論文は、317さんの解説のやつとは少し違うかな？
0328293,301
NGNGWadler の解説に目を通してみました。World 型の
ような、捨てたり複製しちゃいけないとかいう値を
導入するための仕掛けが線形型ってことですね。
monad の解説 "Imperative functional programming"
の 4 節にある、評価順序を保証するためだけにある、
受け渡されるだけで値は運ばない変数 w を表面に
引っ張り出して活用する、という感じなのでしょうか。
↑これは激しく勘違いかも。
上の >>319 で説明されてるところは、Haskellコンパイラ
方面で研究されてる必須性解析やら更新回避解析やらを
プログラマが明示できる/しないといけない、と感じたん
ですが、どうでしょうか。
0329デフォルトの名無しさん
NGNGCleanってすごいですね。
ttp://sky.zero.ad.jp/~zaa54437/
0330デフォルトの名無しさん
NGNG0331デフォルトの名無しさん
NGNG0332デフォルトの名無しさん
NGNGしかたないからHTMLソース見てみたら…
＞<!--
＞こういっちゃなんだけど、人のページのソースを見るのはどうかと思いますよ。
＞そういう人は今後このサイトには来ないようにして下さい。ええ。
＞-->
ｺﾜｲﾖｰ
0333332
NGNG初心者の僕にはとても勉強になりました。つーか、大堀先生の本が読めなくて
ちょっとへこんでたんですけど、書評読んだらすこし元気が出てきました。
がんばるぞー。
0334デフォルトの名無しさん
NGNGわかんなければソース見てもいいと思うぞ。勉強になる。
あっちが見られる様な媒体で見られたくないものを置いている方が悪いんだから。
0335デフォルトの名無しさん
NGNGhttp://www.amazon.co.jp/exec/obidos/ASIN/0201882957/
未だ全部読んでないのに、
Haskell:the Craft of Functional Programming
の第三版が出ちゃった！
……と思ったら日付が、
0336デフォルトの名無しさん
NGNG二度と見に行くかよ、と思わせるためにやってるとすれば、
とっても効果的だ。
0337デフォルトの名無しさん
NGNG俺も一瞬そう思った
0338デフォルトの名無しさん
NGNG0339デフォルトの名無しさん
NGNGすぐに出せるようにと思ったんで、
今後の更新予定とかをコメントでつけてましたが、
それらは全部削除しました。
まあ確かにそんなものをつけるべきではないのかもしれませんね。
-->
コメント変わった？
ここ読んでる？
0340デフォルトの名無しさん
NGNGの書き込みは要するに自作自演書き込みって事でしょ。
0341デフォルトの名無しさん
NGNG0342デフォルトの名無しさん
NGNG削除した理由が、
「まあ確かにそんなものをつけるべきではないのかもしれませんね。」
誰かに注意を受けたと取るのが一番か。
0343デフォルトの名無しさん
NGNG0344デフォルトの名無しさん
NGNG0345デフォルトの名無しさん
NGNG自作自演とか、偉そうにWeb作ってるのはイクナイ。
0346デフォルトの名無しさん
NGNGとか書くと、これも自作自演と勘違いされるのだろうか？
>偉そうにWeb作ってるのはイクナイ
作っている分だけ偉いです。
ヒガミはイケナイネ。
0347デフォルトの名無しさん
NGNGＣｌｅａｎってば名前しか知らなかったので、ページ作ってくれたのは非常に
よろしいと思う。イイ。
だけど、自分の理解が怪しいこととかまで、無理して書いてないかの？
斜めにしか読んでないが、なんか外してるところがある気がちょっとする。
>>339とかもどうかと思われ。
0348デフォルトの名無しさん
NGNG0349デフォルトの名無しさん
NGNG0350デフォルトの名無しさん
NGNGGalois Connections
http://www.galconn.com/
0351デフォルトの名無しさん
NGNG「本書の内容の正否・当否についての質問・意見は、明確で
具体的な理由をつけて、匿名ではなく、[email protected] まで
お願いします。また、これら以外のことに関する本書への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」
とでも、表 2 カバー裏あたりに書いとけば良いかも :-)
0352デフォルトの名無しさん
NGNGなんだそれは。
Ｃｌｅａｎのページ作った人ですか？
突っ込まれたから、ぼやいている？
Haskellのページとかschemeのページは前からあるけど、
だれも苦情は言わないし、ありがとうしか言わない・・ですが？
0353デフォルトの名無しさん
NGNG具体的な理由をつけて、匿名ではなく、[email protected] まで
お願いします。また、これら以外のことに関する著作者への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」
こうだな、正確には。
0354デフォルトの名無しさん
NGNGバイアスかけるのは止めてね
Haskellのスレだし。
0355デフォルトの名無しさん
NGNGおまえ私怨か？
0356デフォルトの名無しさん
NGNG0357デフォルトの名無しさん
NGNG0358デフォルトの名無しさん
NGNG0359デフォルトの名無しさん
NGNG0360デフォルトの名無しさん
NGNGぼやきか・・・
それはもしかしたらイタイ発言ではなかろうか
0361332
NGNGもう夏休みに入ってるって事をすっかり忘れてました。
0362デフォルトの名無しさん
NGNGお前のような万年厨も問題だがな
■ このスレッドは過去ログ倉庫に格納されています