【学術】数理論理学
1 ：非決定性名無しさん：
量子論理ってｵﾓﾛｲですか？
参考書きぼーん。
参考書きぼーん。
|
|
|
2 ：非決定性名無しさん：02/04/06 16:48
２ゲット
3 ：非決定性名無しさん：02/04/06 18:34
それより線型論理を俺様に教えろ下さい。
4 ：非決定性名無しさん：02/04/06 22:13
竹内外史の『線形論理入門』には引っかからないようにしましょう。
ジラーの原論分を読んだほうがわかりやすいです。
それから、ジラーの言葉
「線形論理もそろそろおしまいだな。」
ジラーの原論分を読んだほうがわかりやすいです。
それから、ジラーの言葉
「線形論理もそろそろおしまいだな。」
5 ：非決定性名無しさん：02/04/06 23:21
神田明倫館で、竹内外史セット(４冊)安く買えたよー。
＃でも積読だけ(藁
＃でも積読だけ(藁
6 ：非決定性名無しさん：02/04/07 00:38
哲学の仲間ですか？
違います。
8 ：非決定性名無しさん：02/04/07 04:38
数学？
9 ：非決定性名無しさん：02/04/07 10:32
線型論理型言語を教エロ下さい。
10 ：非決定性名無しさん：02/04/07 12:20
>>4
ジラール、じゃねーの？
ジラール、じゃねーの？
11 ：非決定性名無しさん：02/04/07 22:14
>>4
ｼﾞﾗｰﾄﾞじゃねーの？
ｼﾞﾗｰﾄﾞじゃねーの？
最後のｄは発音しないよ。
線形論理型プログラミング言語って、神戸大が何かやってなかった？
あと線形じゃないけどMercuryってどう？
線形論理型プログラミング言語って、神戸大が何かやってなかった？
あと線形じゃないけどMercuryってどう？
13 ：非決定性名無しさん：02/04/08 01:55
14 ：非決定性名無しさん：02/04/08 01:55
自動推論関係の皆様
以下の研究会のプログラムをご案内申上げます（多くの方から発表申込み頂きま
した。有難うございました）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
電子情報通信学会 人工知能と知識処理（AI）研究会
2002年5月研究会プログラムと参加者募集のお知らせ
特集：自動推論： 演繹、帰納、モデル検査/生成、仮説推論、
アブダクション、論理プログラム、プランニング etc.
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
電子情報通信学会 人工知能と知識処理（AI）研究会では、以下のように
5月研究会を神戸大学で開催致します。
招待講演の方は、田村直之先生（神戸大）に加えて、新たに佐藤泰介先生（東工
大）にも、お願いできることになりました。
招待講演者： 田村直之 先生（神戸大）
講演題目： 線形論理と論理プログラミング
招待講演者： 佐藤泰介 先生 （東工大）
講演題目： ベイジアンネットと信念伝播の新潮流
当日はこの分野の最先端の興味深いお話が聞けるものと思われます。どうか皆様
奮ってのご参加のほどお願い申上げます。
------------------------
日時： 5月24日（金） 9:20-17:00
場所： 神戸大学 百年記念会館 会議室
http://cx2.cx.kobe-u.ac.jp/kansai/rokko.html
議題： 特集「自動推論 ： 演繹、帰納、モデル検査/生成、仮説推論
アブダクション、論理プログラム、プランニング、時相論理、etc.」
以下の研究会のプログラムをご案内申上げます（多くの方から発表申込み頂きま
した。有難うございました）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
電子情報通信学会 人工知能と知識処理（AI）研究会
2002年5月研究会プログラムと参加者募集のお知らせ
特集：自動推論： 演繹、帰納、モデル検査/生成、仮説推論、
アブダクション、論理プログラム、プランニング etc.
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
電子情報通信学会 人工知能と知識処理（AI）研究会では、以下のように
5月研究会を神戸大学で開催致します。
招待講演の方は、田村直之先生（神戸大）に加えて、新たに佐藤泰介先生（東工
大）にも、お願いできることになりました。
招待講演者： 田村直之 先生（神戸大）
講演題目： 線形論理と論理プログラミング
招待講演者： 佐藤泰介 先生 （東工大）
講演題目： ベイジアンネットと信念伝播の新潮流
当日はこの分野の最先端の興味深いお話が聞けるものと思われます。どうか皆様
奮ってのご参加のほどお願い申上げます。
------------------------
日時： 5月24日（金） 9:20-17:00
場所： 神戸大学 百年記念会館 会議室
http://cx2.cx.kobe-u.ac.jp/kansai/rokko.html
議題： 特集「自動推論 ： 演繹、帰納、モデル検査/生成、仮説推論
アブダクション、論理プログラム、プランニング、時相論理、etc.」
15 ：非決定性名無しさん：02/04/08 01:56
[午前 9:20-10:35]
1. 競合状況における投機的計算の導入に関する考察
○深井一成・井上克已・羽根田博正（神戸大）
2. 動作データからの基本動作の抽出と、相関ルールを用いた動作認識
○森隆規・上原邦昭（神戸大）
3. 事例ベース推論と制約充足に基づく室内レイアウト変更計画
○小野智司・浜田佳延・水谷守・水野一徳・福井幸男・西原清一（筑波大）
[午前 10:40-11:55]
4. Dynamic Epistemic Logics, Dynamic Doxastic Logicsの
Kripke Systemの観点からのサーベイ
○緒方典裕（大阪大）
5. SAT プランニング効率改善のための専用 SAT ソルバの開発
○鍋島英知・岩沼宏治（山梨大）
6. ブール制約解消系によるモデル生成木の刈込み
○越村三幸・長谷川隆三（九州大）
[午後 13:00-15:00]
7. [招待講演] 線形論理と論理プログラミング
○田村直之（神戸大）
8. [招待講演] ベイジアンネットと信念伝播の新潮流
○佐藤泰介 （東工大）
[午後 15:15-16:55]
9. 線形論理に基づいたセキュリティ・プロトコルの論理的検証法
岡田光弘・○長谷部浩二（慶大）
10. 証明支援システムxpe
○毛利元彦（北陸先端大）
11. シグナル伝達経路と仮説推論
○福田賢一郎（産業技術総研）
12. 一般節理論における解釈からの学習に関する一考察
○山崎紀昭・井上克已・羽根田博正（神戸大）
16 ：非決定性名無しさん：02/04/08 01:56
-------------------------------------------------------------
☆ 研究会の今後の予定
７月中旬： 岩手県立大「オフィスとAI（仮）」
信学会OFS, FACE, 情処 ICS 各研究会との共催
-------------------------------------------------------------
ローカルアレンジ
-------------------------------------------------------------
井上 克已 先生
〒657-8501 神戸市灘区六甲台町 神戸大学工学部 電気電子工学科
Phone: 078-803-6090 mailto:[email protected]
FAX: 078-881-3193 http://cslab.eedept.kobe-u.ac.jp/~inoue
-------------------------------------------------------------
2002年度 AI研究会執行部
-------------------------------------------------------------
専門委員長 木下哲男 副委員長 桑原和宏・岩沼宏治
幹事 藤田茂・加藤貴司
☆ 研究会の今後の予定
７月中旬： 岩手県立大「オフィスとAI（仮）」
信学会OFS, FACE, 情処 ICS 各研究会との共催
-------------------------------------------------------------
ローカルアレンジ
-------------------------------------------------------------
井上 克已 先生
〒657-8501 神戸市灘区六甲台町 神戸大学工学部 電気電子工学科
Phone: 078-803-6090 mailto:[email protected]
FAX: 078-881-3193 http://cslab.eedept.kobe-u.ac.jp/~inoue
-------------------------------------------------------------
2002年度 AI研究会執行部
-------------------------------------------------------------
専門委員長 木下哲男 副委員長 桑原和宏・岩沼宏治
幹事 藤田茂・加藤貴司
17 ：非決定性名無しさん：02/04/08 04:57
進学の宣伝か．．．
>>12
じゃあやっぱりジラールじゃん。
じゃあやっぱりジラールじゃん。
19 ：非決定性名無しさん：02/04/09 00:37
竹内外史がジラーって呼んでたよ。
20 ：他称キティー：02/04/09 01:23
ﾍﾟﾍﾟﾍﾟｯ！
こんな話題、他の板でやってくれよ！ ｳｼﾞｬｲ
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
。
こんな話題、他の板でやってくれよ！ ｳｼﾞｬｲ
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
。
21 ：非決定性名無しさん：02/04/09 05:17
やだ
>>19
竹内外史がアメリカ人だからでしょ。
竹内外史がアメリカ人だからでしょ。
23 ：非決定性名無しさん：02/04/09 07:51
俺ね、ＬＫのカット不要ってやつ当たり前だということを証明した。
自明なvalidな推論規則を一つ足せばカットなんてまったく不要。
その規則を加えずにわざわざ下らん議論している理由がわからんよ。
自明なvalidな推論規則を一つ足せばカットなんてまったく不要。
その規則を加えずにわざわざ下らん議論している理由がわからんよ。
24 ：非決定性名無しさん：02/04/09 23:52
>>20
糞SEは氏ね
糞SEは氏ね
25 ：非決定性名無しさん：02/04/10 01:27
26 ：非決定性名無しさん：02/04/10 06:15
推論って人工知能の奴だよね
27 ：非決定性名無しさん：02/04/10 13:22
28 ：非決定性名無しさん：02/04/11 08:05
なにそれ
29 ：他称キティー：02/04/12 00:35
ばかみたい・・
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
。
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
。
30 ：非決定性名無しさん：02/04/12 00:36
>>1-1000 ここは不思議な板ですね？何をしたいんだろう？
31 ：怪人アッカーマン：02/04/12 11:20
32 ：非決定性名無しさん：02/04/13 00:22
数学をキチントやれば、論理学はやらなくていいと聞きましたが、本当でしょうか？
33 ：怪人アッカーマン：02/04/13 00:32
>>32
（…あきれてものがいえない）
（…あきれてものがいえない）
34 ：非決定性名無しさん：02/04/13 02:10
>>32
誰がそんなこと言ってるんですか？
誰がそんなこと言ってるんですか？
35 ：非決定性名無しさん：02/04/18 13:18
>>34
他称キティ
他称キティ
36 ：23：02/04/18 19:40
37 ：非決定性名無しさん：02/04/18 23:48
「数学をきちんとやる」ことに論理学を学ぶことが含まれるのでしょう。
38 ：非決定性名無しさん：02/04/19 00:51
>>36
どんな推論規則を足したのか解説ｷﾎﾞﾝﾇ
どんな推論規則を足したのか解説ｷﾎﾞﾝﾇ
39 ：非決定性名無しさん：02/04/19 02:36
ヽ(`Д´)ﾉﾓﾙｧ
もうちょっと待ってて。
数年前の事なのでノート探さないと。
とってあるかどうかもちょっと心配。ルーズリーフだし。
カットエリミネーションの目的と推論規則を
じっくり眺めて意味を考えてる時に発見したんだけど、
論理学とはその後御無沙汰なのでちゃんと説明できるかどうかも心配。
数年前の事なのでノート探さないと。
とってあるかどうかもちょっと心配。ルーズリーフだし。
カットエリミネーションの目的と推論規則を
じっくり眺めて意味を考えてる時に発見したんだけど、
論理学とはその後御無沙汰なのでちゃんと説明できるかどうかも心配。
41 ：非決定性名無しさん：02/04/21 21:03
勉強家ですね
42 ：非決定性名無しさん：02/04/24 01:18
カットは「あって当然」な規則ですから、
それが不要ということがビックリだったのでは？
三段論法なんて、どう考えてもあって当然なのだが・・・
それが不要ということがビックリだったのでは？
三段論法なんて、どう考えてもあって当然なのだが・・・
43 ：非決定性名無しさん：02/04/24 23:28
ちょっと話がずれるけど、LKより真に強くて矛盾してない体系って存在するの？
44 ：非決定性名無しさん：02/04/25 23:47
何かを再帰的に定義するとき、最後に
「以上の規則から定義されるもののみを○○とする」
ってあるけど、これは何のためについてるの？
つけないと、具体的にどういう困ったことが起こるの？
「以上の規則から定義されるもののみを○○とする」
ってあるけど、これは何のためについてるの？
つけないと、具体的にどういう困ったことが起こるの？
45 ：非決定性名無しさん：02/04/27 10:55
>>44
これがないと，余計なものが入る可能性がある．
例えば
(1) 0は自然数である．
(2) xが自然数ならば，S(x)は自然数である．
(3) 以上(1)(2)から作られるもののみが自然数である．
という定義では，(3)がないと hoge, S(hoge), S(S(hoge)), ... といった
ものが含まれてもよいことになってしまう．別の言い方をすると，Nを自然数の
集合とした場合，
(1) 0∈N
(2) x∈N ならば S(x)∈N
(3) Nは上記(1)(2)をみたす最小の集合
といってることになる．
これがないと，余計なものが入る可能性がある．
例えば
(1) 0は自然数である．
(2) xが自然数ならば，S(x)は自然数である．
(3) 以上(1)(2)から作られるもののみが自然数である．
という定義では，(3)がないと hoge, S(hoge), S(S(hoge)), ... といった
ものが含まれてもよいことになってしまう．別の言い方をすると，Nを自然数の
集合とした場合，
(1) 0∈N
(2) x∈N ならば S(x)∈N
(3) Nは上記(1)(2)をみたす最小の集合
といってることになる．
>45
うぅ〜、わかんないです。
hogeが自然数じゃない（まだこの時点で「自然数である」ことになっていない）のだから、
S(hoge)を自然数に含めることは(1),(2)だけでもできないように読めてしまいます。
うぅ〜、わかんないです。
hogeが自然数じゃない（まだこの時点で「自然数である」ことになっていない）のだから、
S(hoge)を自然数に含めることは(1),(2)だけでもできないように読めてしまいます。
47 ：非決定性名無しさん：02/04/29 00:25
48 ：45：02/04/29 03:41
>47
できない気がします。以下は証明のつもり：
s(hoge)が(1),(2)だけの有限のくり返しから構成できると仮定する。
このとき、s(hoge)を構成する為に使ったルールを、
列 R1, R2, ... Rn のように具体的に並べることができる。
[case 1] Rn が(1)であったなら、0=s(hoge)だが、これは自明に成り立たない。
[case 2] Rn が(2)であったなら、hogeは自然数である必要がある。
n=1の時、hogeはルールの存在以前には自然数ということになっていないので、ありえない。
n>1の時、Rn-1は(1)か(2)だが、0=hoge でないので、自明に(2)しかありえない。
ところがhoge=s(foo)となるような文字の列fooは存在しない。[終]
む、書いてるうちに有限ってところが超〜ひっかかるようになってきた。
今問題にしている>44についてでは、
ルールの適用１回で文字列の長さが単調増加することから自明に無限のルール適用を排除できるけど、
一般の場合にはこの技が使えないしな。
できない気がします。以下は証明のつもり：
s(hoge)が(1),(2)だけの有限のくり返しから構成できると仮定する。
このとき、s(hoge)を構成する為に使ったルールを、
列 R1, R2, ... Rn のように具体的に並べることができる。
[case 1] Rn が(1)であったなら、0=s(hoge)だが、これは自明に成り立たない。
[case 2] Rn が(2)であったなら、hogeは自然数である必要がある。
n=1の時、hogeはルールの存在以前には自然数ということになっていないので、ありえない。
n>1の時、Rn-1は(1)か(2)だが、0=hoge でないので、自明に(2)しかありえない。
ところがhoge=s(foo)となるような文字の列fooは存在しない。[終]
む、書いてるうちに有限ってところが超〜ひっかかるようになってきた。
今問題にしている>44についてでは、
ルールの適用１回で文字列の長さが単調増加することから自明に無限のルール適用を排除できるけど、
一般の場合にはこの技が使えないしな。
49 ：46：02/04/29 03:43
48=46でした...
>>47
45じゃないけど、case1) 0=S(hoge) ってありなんじゃないの？
45じゃないけど、case1) 0=S(hoge) ってありなんじゃないの？
52 ：45：02/04/29 06:05
書き方が悪かったかな？ >>45に書いたのはこういうことと一緒．
自然数の集合Nとは，以下の(1)(2)を満たすようなものである．
(1) 0∈N
(2) x∈N ならば S(x)∈N
で，もし「定義」がこれだけだとすると，Nが
{0,S(0),S(S(0)),..., hoge, S(hoge), S(S(hoge)),... }
といった集合でも(1)(2)は満たすこととなる．だから，もうひとつの条件
として，「Nは(1)(2)をみたす最小の集合」とか「以上(1)(2)だけから構成
されるものとする」といったものが必要になる．
>>47 >>48
＞（１）（２）だけを使ってS(hoge)を構成することは可能なんですか？
＞s(hoge)が(1),(2)だけの有限のくり返しから構成できると仮定する。
ここですでに「(1)(2)だけ」という3つ目の条件を入れて考えてしまってい
るような…
ある集合を特徴づける条件が(1)(2)だけだということと，ある集合が(1)(2)
だけを使って構成できるということはちがうことなんですね．
説明下手でスマソ
自然数の集合Nとは，以下の(1)(2)を満たすようなものである．
(1) 0∈N
(2) x∈N ならば S(x)∈N
で，もし「定義」がこれだけだとすると，Nが
{0,S(0),S(S(0)),..., hoge, S(hoge), S(S(hoge)),... }
といった集合でも(1)(2)は満たすこととなる．だから，もうひとつの条件
として，「Nは(1)(2)をみたす最小の集合」とか「以上(1)(2)だけから構成
されるものとする」といったものが必要になる．
>>47 >>48
＞（１）（２）だけを使ってS(hoge)を構成することは可能なんですか？
＞s(hoge)が(1),(2)だけの有限のくり返しから構成できると仮定する。
ここですでに「(1)(2)だけ」という3つ目の条件を入れて考えてしまってい
るような…
ある集合を特徴づける条件が(1)(2)だけだということと，ある集合が(1)(2)
だけを使って構成できるということはちがうことなんですね．
説明下手でスマソ
53 ：46=48：02/04/29 23:21
>52
厨房の俺にもわかーたよ！うれーしいかモナー！
具体的に集合を構成するoperationの記述と、
宣言的に集合の特徴をdenoteしたものの違いですね。
厨房の俺にもわかーたよ！うれーしいかモナー！
具体的に集合を構成するoperationの記述と、
宣言的に集合の特徴をdenoteしたものの違いですね。
54 ：非決定性名無しさん：02/04/30 23:22
オレも学生時代以来の疑問が解けたよ。
45=52は紙
45=52は紙
紙かよ！
56 ：非決定性名無しさん：02/05/01 18:59
LKの親戚のLSってのがあったと思うが、何だったっけ？
57 ：非決定性名無しさん：02/05/01 20:58
全然知らんけど、ここ↓に書いてあるみたいよ
ttp://citeseer.nj.nec.com/cachedpage/250122/5
Cached page 5 of: Bicomplete calculi for intuitionistic propositional logic - Jörg Hudelmaier
ttp://citeseer.nj.nec.com/cachedpage/250122/5
Cached page 5 of: Bicomplete calculi for intuitionistic propositional logic - Jörg Hudelmaier
58 ：非決定性名無しさん：02/05/01 23:31
もらい
ﾍﾟﾍﾟﾍﾟｯ！
こんな話題、他の板でやってくれよ！ ｳｼﾞｬｲ
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
ﾍﾟﾍﾟﾍﾟｯ！
こんな話題、他の板でやってくれよ！ ｳｼﾞｬｲ
∧∧ ミ ＿ ドスッ
( ,,)┌─┴┴─┐
/' つ 終了 │
〜′ /´ └─┬┬─┘
∪ ∪ ││ _ε３
゛゛'゛'゛
59 ：非決定性名無しさん：02/05/02 00:21
う剤のは貴様だ>>58
60 ：非決定性名無しさん：02/05/02 05:36
述語論理もわからないプログラマは糞
61 ：非決定性名無しさん：02/05/06 10:41
論理プログラミングはどうなったの？
知識工学って停滞してるのかな
s
64 ：オーバーテクナナシー：02/10/31 11:39
（＾＾）
66 ：非決定性名無しさん：03/02/04 23:51
何事も基礎って大事ですね。
論理パズル本読んだんですが、なかなか問題解けなくて…
コンピュータに携わる職業上、論理学ってのも重要ですね。
論理パズル本読んだんですが、なかなか問題解けなくて…
コンピュータに携わる職業上、論理学ってのも重要ですね。
67 ：非決定性名無しさん：03/02/05 05:43
スレとは関係ないかもしれませんがプロセス代数ってどういうふうに役に立つんですか実際。
なんか勉強してて無意味に感じるんだけど、プロセス代数をこういうふうに使ったら便利だ、とかいう実例とかありますか？
なんか勉強してて無意味に感じるんだけど、プロセス代数をこういうふうに使ったら便利だ、とかいう実例とかありますか？
あぼーん
69 ：非決定性名無しさん：03/02/26 20:06
（＾＾）
∧＿∧
（ ＾＾ ）＜ ぬるぽ（＾＾）
（ ＾＾ ）＜ ぬるぽ（＾＾）
あぼーん
あぼーん
あぼーん
75 ：Community Broaker：03/06/10 23:33
あぼーん
あぼーん
あぼーん
あぼーん
80 ：非決定性名無しさん：03/10/08 18:55
(俺すげー。量子論理の入門サイト探しても見つからないから
２ちゃんで聞いてみようと思って来たら完璧に一発でこの
スレ発見しちゃった)
で、トンデモ電波系や雑なのじゃなくて量子論理の基本を
押さえてわかりやすく説明してくれてるWebサイトあった
ら教えてくだせえ。
２ちゃんで聞いてみようと思って来たら完璧に一発でこの
スレ発見しちゃった)
で、トンデモ電波系や雑なのじゃなくて量子論理の基本を
押さえてわかりやすく説明してくれてるWebサイトあった
ら教えてくだせえ。
>>80
この板はなんちゅーか学問の話をする板ではないのですよ。
# 板名に「情報システム」とか書いてるから紛らわしいけど。
学問的な「情報」について語るなら、ここ↓に行ってみてはどうでしょう。
【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/
この板はなんちゅーか学問の話をする板ではないのですよ。
# 板名に「情報システム」とか書いてるから紛らわしいけど。
学問的な「情報」について語るなら、ここ↓に行ってみてはどうでしょう。
【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/
>>81
アドバイスありがとうです。さっそく逝ってみます。
アドバイスありがとうです。さっそく逝ってみます。
83 ：非決定性名無しさん：03/11/05 20:58
山口人生神帝様が、親切、丁寧に数理論理学を教えてくれます。
あぼーん
85 ：非決定性名無しさん：03/11/29 21:09
学術スレage
あぼーん
87 ：非決定性名無しさん：03/12/11 20:49
学術スレage
88 ：非決定性名無しさん：04/01/02 07:52
学術スレage
89 ：非決定性名無しさん：04/01/02 17:58
学術スレage
90 ：非決定性名無しさん：04/01/03 23:03
学術ｽﾚage
91 ：非決定性名無しさん：04/01/04 09:09
学術ｽﾚage
92 ：非決定性名無しさん：04/01/07 23:07
学問あげ
93 ：非決定性名無しさん：04/05/17 01:32
ゲーム理論の冬木先生げんきかなあ
学術揚げ
96 ：非決定性名無しさん：04/05/24 23:01
２年前の書き込みにレスするのもなんだが
その後>>23はどうなったのか問いたい、問いつｍ
その後>>23はどうなったのか問いたい、問いつｍ
97 ：非決定性名無しさん ：04/05/29 23:46
論理式と述語論理って何が違うの？
98 ：非決定性名無しさん：04/06/16 00:03
透明あぼ〜んされたスレ
99 ：非決定性名無しさん：04/06/24 08:41
学術揚げ
100 ：非決定性名無しさん：04/07/29 00:18
久々に学問上げ
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
こっちにも書いとくが、
学術さげまくってるバカは何がやりたいんだ？
学術さげまくってるバカは何がやりたいんだ？
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
902 ：非決定性名無しさん：04/08/15 22:08
sage
sage
sage
糞スレあげるアホがいるな。
あげてるのは埋め立て依頼なのか？
sage
sage
sage
sage
sage
sage
まんこ
sage
俺のバイト先は24時間営業している薬局で、店の前には店長が「客寄せ」のために
設置した、ものすごい勢いで左右に旗を振る電動式のパンダの人形が置いてある。
先日、俺が夜のシフトで勤務していたとき、入り口付近を掃除しようと思って外に出たら
ＯＬ風の女性が、そのパンダの人形をじーーっと見つめていた。
近所でもキモイと評判のパンダなので、ああまた注目されてるなと、たいして気にもせず
掃き掃除をしていたが、どうもそのＯＬの様子がオカシイ。
パンダから目をそらさないまま、少しずつ歩み寄り、パンダとの距離を縮めていく。
何がしたいんだろうと不思議に思って見ていたら、突然ＯＬが片手を振り上げて
構えの姿勢をとった。そしてパンダの持つ旗が大きく右に振られたときを見計らって
がらあきになったパンダの顔面をドッと突いた。
呆気にとられている俺の視線を気にすることもなく、ＯＬはパンダが旗を右に左に
振るたびに、正面にできる隙をついてパンダの顔をど突くど突く。
一定のリズムで、餅つきの杵のようにﾄﾞｯ・・・・ﾄﾞｯ・・・・・ﾄﾞｯと。
俺はしばらく黙って見ていたが、あまりにも怖いし、客の目によくないし、
何よりパンダの頭がグラグラし始めたので、勇気をふりしぼって、ＯＬを止めた。
しばらくすると「あー！いたー！」という叫び声と共に、数人の男女が走ってきた。
明らかに酔っ払っている男たちは、ＯＬをとっ捕まえると引きずるようにして去っていった。
その場に残って何やら携帯で連絡している女の人に何があったのか聞いてみたら、
さっきのＯＬは会社の飲み会が終わって居酒屋を出たとたん
「今ならあいつに勝てる気がする。ていうか勝つ」と言い残してどこかへ消えたそうだ。
パンダが彼女の何を刺激したのかは知らんが、ＯＬとかってストレス溜まってそうだしなぁ。
設置した、ものすごい勢いで左右に旗を振る電動式のパンダの人形が置いてある。
先日、俺が夜のシフトで勤務していたとき、入り口付近を掃除しようと思って外に出たら
ＯＬ風の女性が、そのパンダの人形をじーーっと見つめていた。
近所でもキモイと評判のパンダなので、ああまた注目されてるなと、たいして気にもせず
掃き掃除をしていたが、どうもそのＯＬの様子がオカシイ。
パンダから目をそらさないまま、少しずつ歩み寄り、パンダとの距離を縮めていく。
何がしたいんだろうと不思議に思って見ていたら、突然ＯＬが片手を振り上げて
構えの姿勢をとった。そしてパンダの持つ旗が大きく右に振られたときを見計らって
がらあきになったパンダの顔面をドッと突いた。
呆気にとられている俺の視線を気にすることもなく、ＯＬはパンダが旗を右に左に
振るたびに、正面にできる隙をついてパンダの顔をど突くど突く。
一定のリズムで、餅つきの杵のようにﾄﾞｯ・・・・ﾄﾞｯ・・・・・ﾄﾞｯと。
俺はしばらく黙って見ていたが、あまりにも怖いし、客の目によくないし、
何よりパンダの頭がグラグラし始めたので、勇気をふりしぼって、ＯＬを止めた。
しばらくすると「あー！いたー！」という叫び声と共に、数人の男女が走ってきた。
明らかに酔っ払っている男たちは、ＯＬをとっ捕まえると引きずるようにして去っていった。
その場に残って何やら携帯で連絡している女の人に何があったのか聞いてみたら、
さっきのＯＬは会社の飲み会が終わって居酒屋を出たとたん
「今ならあいつに勝てる気がする。ていうか勝つ」と言い残してどこかへ消えたそうだ。
パンダが彼女の何を刺激したのかは知らんが、ＯＬとかってストレス溜まってそうだしなぁ。
sage
sage
sage
sage
sage
オメコ
sage
早く1000逝くといいね。
sage
sage
sage
sage
sage
sage
sage
俺のバイト先は24時間営業している薬局で、店の前には店長が「客寄せ」のために
設置した、ものすごい勢いで左右に旗を振る電動式のパンダの人形が置いてある。
先日、俺が夜のシフトで勤務していたとき、入り口付近を掃除しようと思って外に出たら
ＯＬ風の女性が、そのパンダの人形をじーーっと見つめていた。
近所でもキモイと評判のパンダなので、ああまた注目されてるなと、たいして気にもせず
掃き掃除をしていたが、どうもそのＯＬの様子がオカシイ。
パンダから目をそらさないまま、少しずつ歩み寄り、パンダとの距離を縮めていく。
何がしたいんだろうと不思議に思って見ていたら、突然ＯＬが片手を振り上げて
構えの姿勢をとった。そしてパンダの持つ旗が大きく右に振られたときを見計らって
がらあきになったパンダの顔面をドッと突いた。
呆気にとられている俺の視線を気にすることもなく、ＯＬはパンダが旗を右に左に
振るたびに、正面にできる隙をついてパンダの顔をど突くど突く。
一定のリズムで、餅つきの杵のようにﾄﾞｯ・・・・ﾄﾞｯ・・・・・ﾄﾞｯと。
俺はしばらく黙って見ていたが、あまりにも怖いし、客の目によくないし、
何よりパンダの頭がグラグラし始めたので、勇気をふりしぼって、ＯＬを止めた。
しばらくすると「あー！いたー！」という叫び声と共に、数人の男女が走ってきた。
明らかに酔っ払っている男たちは、ＯＬをとっ捕まえると引きずるようにして去っていった。
その場に残って何やら携帯で連絡している女の人に何があったのか聞いてみたら、
さっきのＯＬは会社の飲み会が終わって居酒屋を出たとたん
「今ならあいつに勝てる気がする。ていうか勝つ」と言い残してどこかへ消えたそうだ。
パンダが彼女の何を刺激したのかは知らんが、ＯＬとかってストレス溜まってそうだしなぁ。
設置した、ものすごい勢いで左右に旗を振る電動式のパンダの人形が置いてある。
先日、俺が夜のシフトで勤務していたとき、入り口付近を掃除しようと思って外に出たら
ＯＬ風の女性が、そのパンダの人形をじーーっと見つめていた。
近所でもキモイと評判のパンダなので、ああまた注目されてるなと、たいして気にもせず
掃き掃除をしていたが、どうもそのＯＬの様子がオカシイ。
パンダから目をそらさないまま、少しずつ歩み寄り、パンダとの距離を縮めていく。
何がしたいんだろうと不思議に思って見ていたら、突然ＯＬが片手を振り上げて
構えの姿勢をとった。そしてパンダの持つ旗が大きく右に振られたときを見計らって
がらあきになったパンダの顔面をドッと突いた。
呆気にとられている俺の視線を気にすることもなく、ＯＬはパンダが旗を右に左に
振るたびに、正面にできる隙をついてパンダの顔をど突くど突く。
一定のリズムで、餅つきの杵のようにﾄﾞｯ・・・・ﾄﾞｯ・・・・・ﾄﾞｯと。
俺はしばらく黙って見ていたが、あまりにも怖いし、客の目によくないし、
何よりパンダの頭がグラグラし始めたので、勇気をふりしぼって、ＯＬを止めた。
しばらくすると「あー！いたー！」という叫び声と共に、数人の男女が走ってきた。
明らかに酔っ払っている男たちは、ＯＬをとっ捕まえると引きずるようにして去っていった。
その場に残って何やら携帯で連絡している女の人に何があったのか聞いてみたら、
さっきのＯＬは会社の飲み会が終わって居酒屋を出たとたん
「今ならあいつに勝てる気がする。ていうか勝つ」と言い残してどこかへ消えたそうだ。
パンダが彼女の何を刺激したのかは知らんが、ＯＬとかってストレス溜まってそうだしなぁ。
sage
sage
sage
アスカのパンツ
sage
sage
sage
sage
sage
sage
まだ50以上もあるじゃないかよ。
糞スレ早く埋めろや。
糞スレ早く埋めろや。
sage
植田佳奈
sage
sage
sage
先ながいな
sage
sage
1分に1書きなのか？このスクリプト
sage
sage
まんこ
sage
学術スレ全部埋めてくれよな。
sage
sage
ちんちん痒い
sage
アナルオナニー
sage
寝るわ、あとヨロシク
sage
sage
sage
sage
sage
じれったい
sage
sage
sage
sage
sage
sage
sage
>>1
結局このスレ意味あったの？
結局このスレ意味あったの？
sage
sage
sage
スレタイに学術などとつけてる時点で終わってるからな。
sage
sage
はやくーはやくー
sage
まんこしたい
おなにーしたい
sage
sage
sage
sage
sage
1000 ：非決定性名無しさん：04/08/15 23:55
オメコ
1001 ：１００１：
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
もう書けないので、新しいスレッドを立ててくださいです。。。