理論計算機数学のスレat MATH
理論計算機数学のスレ - 暇つぶし2ch64:132人目の素数さん
12/06/23 21:07:44.24 .net
モンテカルロ法によって生成される擬似πを上20桁正しいものにするのにどれだけの標本が必要?

65:132人目の素数さん
12/06/23 21:31:14.80 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

66:132人目の素数さん
12/06/23 23:49:08.86 .net
>>59
URLリンク(www.google.com.sa)

67:132人目の素数さん
12/06/23 23:50:25.16 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

68:132人目の素数さん
12/06/24 00:12:43.02 .net
>>64
終了が無いから無限回やっている。

69:132人目の素数さん
12/06/24 00:49:07.42 .net
頭の悪い日本人が増えたな。

70:132人目の素数さん
12/06/24 05:19:46.96 .net
>>67
そりゃ、リスクを冒さず安易な選択をして、
難しい専門書を無理して読まなくても
数学は理解できるとか、マニュアル書の類
ばかりに頼って考えることをやめれば
バカが増えるのは当然だろう。
今の日本がそう。

71:132人目の素数さん
12/06/24 07:23:51.63 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

72:132人目の素数さん
12/06/24 12:01:00.79 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

73:132人目の素数さん
12/07/02 23:59:42.95 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

74:描&描 ◆ghclfYsc82
12/08/10 10:27:03.67 .net
8ビットのレジスタは位数256の巡回群
計算機では自然数より巡回群のほうがずっと自然

75:描&描 ◆ghclfYsc82
12/08/10 10:56:40.90 .net
コラ、baka描、ワシがせっかく語ってるのにさっさとスレを上げんかい

76:描&描 ◆ghclfYsc82
12/08/10 11:29:38.12 .net
もともとは乗除算は加減算の何十倍も時間がかかるのが当然だった
今でこそ同じ速さになったが、それはCPUが乗除算専用の回路をわざわざ
積んでくれているからに過ぎない。もちろんその回路にはコストがかかる

77:描&描 ◆ghclfYsc82
12/08/10 12:07:27.90 .net
コラ、baka描、ワシがせっかく語ってるのにさっさとスレを上げんかい

78:描&描 ◆ghclfYsc82
12/08/10 12:46:01.23 .net
計算機の中では実数などというものは存在し得ない
存在し得るのは浮動小数点形式等でエンコードされた近似値だけだ
たいていのプログラミング言語が実数と呼んでいるものは
たった64bitの情報量でエンコードされた近似値に過ぎない

79:描&描 ◆ghclfYsc82
12/08/10 13:23:34.85 .net
コラ、baka描、ワシがせっかく語ってるのにさっさとスレを上げんかい

80:描&描 ◆ghclfYsc82
12/08/10 14:13:17.01 .net
現在ではマルチコアのCPUが主流だが、以前のシングルコアのCPUでも
マルチタスクが可能だったのは何故か。それはタスクを同時には1つしか
実行していなかったからだ。タスクの実行中にCPUが割り込みをかけ、その
タスクが使用していたCPUの内部状態をメモリ上に移す。そしてメモリ上の
別のタスクのCPU状態をCPU内に復帰し、そのタスクに処理を移す。それを
高速に繰り返せばマルチタスクとなる

ここで注意しなければならないのは、ソフトウェアがそのような複雑な仕掛けを
打たないと並列には動かないのに対してハードウェアは何もしなくても並列に
動くということだ。電子回路では抵抗もコンデンサも半導体も何もしなくても
どの部品も並列に動く。これはハードウェアのソフトウェアに対する天然の
アドバンテージと言えよう。よってCPUのマルチコア化は自然な進化と言える

81:132人目の素数さん
12/08/12 20:54:14.87 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/

82:自演 ◆ghclfYsc82
12/08/14 10:44:42.40 .net
なるほど。8ビットの数値同士の加減算は円周上の2nπ/256の回転に等しいわけですね

コラ、baka描、ワシがせっかくレベル下げて自演してるのにさっさとスレを上げんかい


83:自演 ◆ghclfYsc82
12/08/14 10:51:01.33 .net
訂正:

× 8ビットの数値  
○ 8ビットの変数

84:132人目の素数さん
12/08/14 15:30:22.45 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニ


85:ヽ、         あなたの論文が Ann of Math に accept される確率は?     |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?    |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \ .   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \    |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |   |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、   |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|    |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|    |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/     |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/



86:描&描 ◆ghclfYsc82
12/08/15 11:06:23.51 .net
>>80
その通り。普通に回路を組めばそうなる
その8ビットの値を0~255とするか-128~127とするかは単なる解釈の問題に過ぎない
加減算においてはどちらの解釈でも共通の機械語命令が使える

乗除算は符号付きか符号無しかを機械語命令レベルで区別しなければならない
一般にnビットの値とnビットの値を掛け合わせれば2nビットの値になる
2nビットの値をnビットの値で割ればnビットの答えとnビットの余りがでる
インテルCPUもそのような機械語命令を用意している

URLリンク(download.intel.com)

87:あのこうちやんは始皇帝だった
12/08/27 19:40:58.71 .net
60代の、無職の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキ! 

20年前はチェスのプログラムが書ければ人工知能で博士号がもらえた、という言葉を聞いたのが
もう20年前のこと。数学が古代ギリシャからの歴史があるのに対しコンピュータはまだほんの60年
ほどの歴史しかない

死ね!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

88:あのこうちやんは始皇帝だった
12/08/27 21:53:08.23 .net
 チューリングの論文
 URLリンク(www.unixuser.org)

 どうだ、クソガキ!

89:132人目の素数さん
12/08/27 22:39:48.01 .net
URLリンク(ja.wikipedia.org)

 あ?

90:132人目の素数さん
12/08/27 23:47:21.87 .net
> Lispがチューリングマシンよりも扱いやすいモデルであることを示すもう一つの
> 方法は、万能Lisp関数を書いてそれが万能チューリングマシンの表記よりも
> 簡潔で分かりやすいことを示すことだった。これがLisp関数evalだ…、それは
> Lisp式の値を計算する。… evalを書くために、私はLisp関数をLispのデータと
> して表す方法を考えなければならなかった。その表記はあくまで紙の上で確認
> するためのもので、実際にLispプログラムがそれで書かれるようになるなんて
> 考えもしなかったよ。
>
> 次に起こったのはこうだ。1958年後半に、McCarthyの大学院生のひとりであっ
> た Steve Russellがevalの定義を見ていて、これを機械語に変換すれば Lispイ
> ンタプリタができるじゃないか、と思いついたんだ。
>
> これは当時としては画期的なことだった。 McCarthyは後にインタビューでこの
> ように語っている。
>
> Steve Russelが言った。ほら、evalをプログラムしたらどうだろう…、で、私は
> 答えたものさ。はは、君は理論と現実を混同しているよ。このevalは人が読む
> ためのもので、計算するためのものじゃない。でも彼はそのアイディアを進めて
> 実際にやってしまった。つまり、彼は私の論文のevalを[IBM] 704の機械語に
> 直して、バグを取り、それをLispインタプリタと称したんだ。実際そうだった。
> それが、Lispが現在の姿を取った瞬間だった。

URLリンク(practical-scheme.net)

91:132人目の素数さん
12/08/28 00:35:31.18 .net
20代の、ニートの、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキ! 

 お前、この本読んでいるか? 数学者の方が読みやすい! オマエ、恥ずかしくないか?

URLリンク(mitpress.mit.edu)

92:132人目の素数さん
12/09/13 21:20:06.91 .net
お前たちは、定職に就くのが先決だろがああああああああああああああ!!!!!!!!!!!!!!!!!!!!!!!!

(do ((iy 1 (+ iy 1)))
   ((>= iy 10))
 (do ((ix 1 (+ ix 1)))
    ((>= ix 10))
  (format #t "~2,' d " (* ix iy)))
 (format #t "\n"))

また、お前か! 九九の表を表示するプログラム!
 ニート・無職の、ゴミ・クズ・カス・無能・虫けらのクソガキどもがあああああああああああ!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

93:132人目の素数さん
12/09/27 18:30:39.07 .net
Cygwin
URLリンク(www.cygwin.com)

94:TTT
12/09/29 14:56:31.78 .net
以下は別スレのレスと加筆修正したもの。
有益な情報のためこのスレに転載します。

計算量クラスの種類はいくつあるのかと問われて...
1000どころか可算無限個はあります。
既にAC_iとかTC_iとか多項式時間階層の無限列が入ってますし。
基本的には、
(1)抽象機械、(2)領域、(3)時間、(4)オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械(これだけでも決定性や非決定性や交替制や確率や量子)等が代表例で、他にも無数の抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
同じ機械でも領域と時間を制限することで色々変わってきます。
時間や領域の制限は対数とか指数とか2重の冪とかの単位で考えることが多いです。
面倒なのは、計算機の強さが時間や領域の制限と綺麗に相関しないところですね。
ある時間以上ではほとんど計算能力が向上しない状況、その逆の状況とかがあります。
また時間を自然数で区別すればはたまた自然数個の時間によるクラス分割が発生します。
そしてこれにオラクルという計算に別のクラスの補助を使用することを考えます。
Pをオラクルに持つPをオラクルに持つ...と、ここでも可算無限個のクラスが発生します。
しかもほとんどのクラスが潰れない(一致しない)。
P≠NPもほぼ間違いないと考えられていますし。
こう考えると計算量クラスの定義は<M、t、s、O>といった
抽象機械M、時間t、領域s、オラクルOの対として定義したほうがいいですよね。

計算量理論と述語論理等の記述(計算)能力まとめ。
URLリンク(people.cs.umass.edu)
現在の複雑さの階層マッピング
URLリンク(www.math.ucdavis.edu)
名称付きのクラスのリスト
URLリンク(qwiki.stanford.edu)


95:あのこうちやんは始皇帝だった
12/09/29 15:24:01.49 .net
まともな人キターw

計算量理論
URLリンク(en.wikipedia.org)

96:132人目の素数さん
12/10/14 08:44:53.60 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

97:132人目の素数さん
12/10/21 14:41:36.79 .net
工学の世界では性能の高いマシンで性能の低いマシンを模倣することが
専ら行われている。例えばPCでファミコンを模倣するアプリを動かし
ファミコンのROMファイルを読み込んで遊ぶことが可能。

URLリンク(romhustler.net)

98:御令嬢様
12/11/11 08:46:31.62 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

99:令嬢
12/12/21 19:34:14.98 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        このスレには馬と鹿と豚さんばかりね。
      |      ` -'\       ー'  人            
    |        /(l     __/  ヽ、          
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

100:132人目の素数さん
13/01/20 11:16:21.57 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        このスレは馬と鹿と豚さんばかりね。
      |      ` -'\       ー'  人            
    |        /(l     __/  ヽ、          
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

101:132人目の素数さん
13/02/14 14:56:57.96 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        このスレは馬と鹿と豚さんばかりね。
      |      ` -'\       ー'  人            
    |        /(l     __/  ヽ、          
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

102:132人目の素数さん
13/02/16 04:09:46.87 .net
K(新記号)=3.87/4.83
@=nK=ZK
"KIRISE Invariable."
1=0.801242236024845
TWO arithmetic operations.
"Fade in/out"

103:132人目の素数さん
13/02/16 20:42:16.68 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        このスレは馬と鹿と豚さんばかりね。
      |      ` -'\       ー'  人            
    |        /(l     __/  ヽ、          
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

104:132人目の素数さん
13/06/13 19:32:35.93 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        このスレは馬と鹿と豚さんばかりね。
      |      ` -'\       ー'  人            
    |        /(l     __/  ヽ、          
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

105:132人目の素数さん
13/09/16 21:24:57.08 .net
鹿島亮のC言語による計算の理論はかなり分かりやすい。

106:132人目の素数さん
13/09/16 21:25:48.51 .net
ところで、アルゴリズムとデータ構造のスレってどこにあるの?
情報系の板見てもないんだけど。
結構需要がありそうなのに。

107:132人目の素数さん
13/09/16 21:34:06.43 .net
これは?
スレリンク(tech板)

108:132人目の素数さん
13/09/16 22:02:50.94 .net
>>104
ありがとうございます。あったんですね。質問があったらそこで質問します。

109:132人目の素数さん
13/09/21 10:47:00.00 .net
オートマトンや計算論の本でおすすめの本ってない?

110:132人目の素数さん
13/09/21 12:54:03.40 .net
ホップクロフト - ウルマン - モトワニ, オートマトン言語理論 - 計算論
URLリンク(www.amazon.co.jp)

111:132人目の素数さん
13/09/21 14:01:08.84 .net
>>107
もっと薄い本でおすすめはありませんか?
シプサも冗長っぽいのでホップクロフトらとシプサ以外で。

112:132人目の素数さん
13/09/21 14:06:57.57 .net
自動羊肉機械

113:132人目の素数さん
13/09/21 16:28:43.23 .net
>108
計算論の本としては十分薄いだろ。

114:132人目の素数さん
13/11/22 21:20:48.58 .net
チューリングマシンに詳しい人に聞きたいんだが、
テープの100万番地に書いてある記号を0番地に書き込むアルゴリズムは
状態数いくつ位で実装できる?
俺が単純に考えると100万番地にいくのに100万状態かかって
0番地に戻ってくるのに100万状態かかるんだが、
そんなに必要なワケないよね?

115:132人目の素数さん
13/11/22 22:43:19.66 .net
チューリングマシンに詳しくても実際にチューリングマシンを組む人間は少ないのでは……

作業用テープが使えるのならカウンタ移動->リーダ->カウンタ移動->ライターで実装できる。
1テープ化は計算論の厚めの教科書に載ってると思う。
状態数は面倒なので自分でやってくれ。

116:132人目の素数さん
13/12/08 11:44:15.70 .net
誰か最高の型理論を教えて
何か圏論の宇宙みたいなんを考えなくても
全体集合を含む集合をうまく扱える
well-formedな理論があったような気がするが名前忘れたのでぐぐれん
別のでもいいから最新のを頼む

117:TTT
13/12/09 08:46:37.88 .net
Martin-Löfの型理論とか?
あとZ言語とか
もしくはアクゼルやフィッファーマンの
ETとかCTとかPTみたいな構成的数学(型付集合論
URLリンク(www.amazon.co.jp)
どれも最新じゃないけど

118:132人目の素数さん
13/12/09 12:16:18.74 .net
Martin-Lofよりは新しいやつだったと思う
他のはしらんからぐぐるキーワード助かるありがとう
分かったら一応ここにまた記すよ

119:132人目の素数さん
13/12/09 12:20:11.92 .net
Martin-Lofでググったらすぐみつかった
Luca-Cardelliのやつだわ
A polymorphic lambda calculus with type:type

120:132人目の素数さん
13/12/20 09:21:12.24 .net
URLリンク(lucacardelli.name)
関数型言語から始めてMolecular ProgrammingだのMembrane Computingだの手広くやってる人だな

121:132人目の素数さん
14/04/23 17:10:01.72 .net
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   
.     |   \ ∠イ  ,イイ|    ,`-' |      
     |     l^,人|  ` `-'     ゝ  |        
      |      ` -'\       ー'  人           私は死なないわよ。
    |        /(l     __/  ヽ、            でも最近一寸太ったかしら。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、           Windows ver.10 で    
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            元の痩せた姿にしてよね。
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \              
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

122:132人目の素数さん
14/05/25 03:46:33.83 .net
2つの集合の和集合を取る演算ひとつにしてもそこには計算機屋の言い分がある。
計算機屋にとって和集合とは1つの集合に別の集合を上書きする行為。
集合α{A=1, B=2, C=3, D=4, E=5} と 集合β{D=6, E=7, F=8, G=9, H=10}とがあったら、
αにβを上書きするのとβにαを上書きするのと2通りの結果がある。

123:132人目の素数さん
14/05/25 19:00:58.35 .net
集合の言葉で言うんだったら、
D=4, E=5
D=6, E=7
は別の元だぜ。= の定義次第だけど。

和集合以外の写像を考えないと。

124:132人目の素数さん
14/05/25 19:22:37.82 .net
だぜ君乙

125:132人目の素数さん
14/06/08 08:15:09.95 .net
とりあえず direct product 書かなきゃな

126:132人目の素数さん
14/06/15 18:07:22.66 .net
ユークリッドの互除法くらいはいくらなんでも知っているだろう。
写像などがプログラミングだと本気で思っているのか。

127:132人目の素数さん
14/09/21 20:59:35.63 .net
質問です
チャーチ数がわかりません
最初に0をλ f x. xと定義しているのですが
β簡約すると
(λ f x. x)hoge≡(λ f.λ x. x)hoge≡λx.x
となりxの値によってλ f x. xの値が変わってしまい恒等的に0になるわけではありません

上記の定義にしてしまうとラムダ計算の規則が矛盾してしまうと思うのですがそこのところはどう考えればいいでしょうか

128:132人目の素数さん
15/01/26 06:47:15.34 1H6B4Cd8.net
ロシアで高く評価されてるみたいなんだよ、あのライブラリ

129:132人目の素数さん
15/01/26 15:02:38.55 PD69rA5o.net
>>18
こいつキモ過ぎる

130:132人目の素数さん
15/01/26 18:06:20.27 QOemKnPw.net
> xの値によってλ f x. xの値が変わってしまい
ここどういうこと?

131:132人目の素数さん
16/05/18 20:37:35.16 0UHiF+Fs.net
チューリングマシンは可算個しかないからすべての言語は判定できないっていうけど、
チューリングマシンを拡張して関数濃度まで増やせばすべての言語を判定するような機構があり得るの?

132:132人目の素数さん
16/09/21 19:20:56.44 fHMHm9qH.net
計算可能性の定義がチューリングマシンというアイディアに依存してるけど、
チューリングマシンってチューリングが生きていた時代の技術水準に影響されたアイディアですよね?
テープとかヘッドとか。
技術水準に依存しない、もっと本質的な定義はないのでしょうか?

133:132人目の素数さん
16/09/21 19:22:28.67 fHMHm9qH.net
計算可能性は結局技術的に可能か不可能かを論ずる領域なので、技術水準に依存しないほうがおかしいのかな。
量子計算なんてテープとヘッドなんて出てこないし。

134:¥ ◆2VB8wsVUoo
16/09/21 21:51:35.08 9DYTpCUE.net


135:¥ ◆2VB8wsVUoo
16/09/21 21:51:50.82 9DYTpCUE.net


136:¥ ◆2VB8wsVUoo
16/09/21 21:52:06.43 9DYTpCUE.net


137:¥ ◆2VB8wsVUoo
16/09/21 21:52:21.56 9DYTpCUE.net


138:¥ ◆2VB8wsVUoo
16/09/21 21:52:36.67 9DYTpCUE.net


139:¥ ◆2VB8wsVUoo
16/09/21 21:52:53.38 9DYTpCUE.net


140:¥ ◆2VB8wsVUoo
16/09/21 21:53:09.06 9DYTpCUE.net


141:¥ ◆2VB8wsVUoo
16/09/21 21:53:24.95 9DYTpCUE.net


142:¥ ◆2VB8wsVUoo
16/09/21 21:53:41.91 9DYTpCUE.net


143:¥ ◆2VB8wsVUoo
16/09/21 21:53:57.68 9DYTpCUE.net


144:¥ ◆2VB8wsVUoo
16/09/22 00:02:38.43 d+gUomk5.net


145:¥ ◆2VB8wsVUoo
16/09/22 00:09:57.63 d+gUomk5.net


146:¥ ◆2VB8wsVUoo
16/09/22 00:13:43.05 d+gUomk5.net


147:¥ ◆2VB8wsVUoo
16/09/22 00:18:02.67 d+gUomk5.net


148:¥ ◆2VB8wsVUoo
16/09/22 00:24:39.08 d+gUomk5.net


149:¥ ◆2VB8wsVUoo
16/09/22 00:32:14.40 d+gUomk5.net


150:132人目の素数さん
17/06/21 18:06:20.79 li9YiQr4.net
統計
422 43 ¥ ◆2VB8wsVUoo
233 25 ¥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
244 30 ¥ ◆2VB8wsVUoo
123 12 ¥ ◆2VB8wsVUoo
231 18 ¥ ◆2VB8wsVUoo
239 24 ¥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
29 3 ¥ ◆2VB8wsVUoo
133 11 ¥ ◆2VB8wsVUoo
222 15 ¥ ◆2VB8wsVUoo
198 20 ¥ ◆2VB8wsVUoo

151:¥
17/06/21 18:29:19.89 cGYdNhEa.net


152:132人目の素数さん
17/07/29 09:01:36.43 KzE/1bUj.net
>>124
λ式を「0」として解釈したいのに
どうしてhogeなんかに適用するんだ
君の自然数はなにか別の対象に適用出来る関数なのか?

153:132人目の素数さん
17/07/29 09:02:44.47 KzE/1bUj.net
>>129
church's thesis

154:132人目の素数さん
17/08/06 18:20:44.26 oDKJI1vJ.net
耳栓をしたら世界が変わってワロタ

155:¥
17/08/06 18:21:07.09 +CYdGQny.net
☆☆☆馬鹿板は数学徒の脳を腐らせる悪い板であり、そやし廃止してナシにすべき。☆☆☆


156:132人目の素数さん
17/08/06 18:28:32.52 oDKJI1vJ.net
耳栓をしたら世界が変わってワロタ

157:¥
17/08/06 18:28:47.66 +CYdGQny.net


158:132人目の素数さん
17/08/07 08:56:31.10 0YzkEl/p.net
耳栓をしたら世界が変わってワロタ

159:¥
17/08/07 09:32:49.46 /rspiZFz.net


160:¥
17/08/07 10:27:11.38 /rspiZFz.net


161:¥
17/08/07 10:27:37.84 /rspiZFz.net


162:¥
17/08/07 10:27:56.41 /rspiZFz.net


163:¥
17/08/07 10:28:15.01 /rspiZFz.net


164:¥
17/08/07 11:16:52.64 /rspiZFz.net


165:¥
17/08/07 11:17:10.26 /rspiZFz.net


166:¥
17/08/07 11:20:44.15 /rspiZFz.net


167:¥
17/08/07 11:21:01.45 /rspiZFz.net


168:¥
17/08/07 11:21:17.36 /rspiZFz.net


169:132人目の素数さん
17/08/07 15:10:16.21 0YzkEl/p.net
耳栓をしたら世界が変わってワロタ

170:¥
17/10/26 09:27:24.90 jT09z118.net


171:¥
17/10/26 09:27:42.22 jT09z118.net


172:¥
17/10/26 09:27:59.79 jT09z118.net


173:¥
17/10/26 09:28:15.91 jT09z118.net


174:¥
17/10/26 09:28:32.02 jT09z118.net


175:¥
17/10/26 09:28:47.72 jT09z118.net


176:¥
17/10/26 09:29:03.59 jT09z118.net


177:¥
17/10/26 09:29:20.59 jT09z118.net


178:¥
17/10/26 09:29:39.33 jT09z118.net


179:¥
17/10/26 09:29:55.93 jT09z118.net


180:132人目の素数さん
19/02/27 14:08:31.79 m6mcbtWa.net
ここでもやろうではないか

181:132人目の素数さん
20/05/22 07:05:48 CccJC99t.net
>>61 コンピュータの父といえばアラン・チューリング、 チャールズ・バベッジ、ナイマン・ヤーノシュでよいのかな?



183:盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続
21/03/16 09:10:39.81 3wrnSHYb.net
色川高志(葛飾区青戸6-23-21ハイツニュー青戸103)
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子(葛飾区青戸6-26-6)の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6-23-21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6-23-20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6-26-6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 ℡03ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6-23-19)の
五十路後半強制脱糞
URLリンク(img.erogazou-pinkline.com)
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出!腸内洗浄状態です。

184:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch