13/08/20 00:59:36.60
きゅむは英語できないの?
no
だから?ん?
英語できないの認めたWWWWWWWW
501:ご冗談でしょう?名無しさん
13/08/20 01:06:59.40 rypUSQ0t
>>500
それがなんか意味あるのか?ん?
nor以降の意味に何の関係も無い
502:ご冗談でしょう?名無しさん
13/08/20 01:17:23.89
は?自問自答しただけだ
きゅむは英語できないの?
no
きゅむ→ だから?ん?
はい、英語できないの認めましたWWWW
503:ご冗談でしょう?名無しさん
13/08/20 01:46:45.39 rypUSQ0t
>>502
はぁ?
何も答えてねーが?ん?
俺が聞いてんだよ
504:ご冗談でしょう?名無しさん
13/08/20 02:06:46.31
きゅむは英語できないの?
no
だから?ん?
英語できる人ならnoを否定するはずだよな?ん?
英語できないこと認めちゃいましたWWWWWWW
505:ご冗談でしょう?名無しさん
13/08/20 02:51:10.12 rypUSQ0t
>>504
小学生か?ん?
そのnoは
>>310
>76ページ 5行目
>> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which
>> would be universal since ∀x(not x ∈ x) holds in ZF).
のnoだ
文脈読めないアスペルガー引きこもりとかWWWWWWW
506:ご冗談でしょう?名無しさん
13/08/20 06:24:10.06 OJaljYIh
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
507:ご冗談でしょう?名無しさん
13/08/20 08:47:09.46
メコスジヤロウ ノ セカイ
508:ご冗談でしょう?名無しさん
13/08/20 08:54:38.41
きゅむは英語できないの?
no
だから?ん?
509:ご冗談でしょう?名無しさん
13/08/20 11:18:42.59 OJaljYIh
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
510:ご冗談でしょう?名無しさん
13/08/20 11:19:34.82 OJaljYIh
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
511:ご冗談でしょう?名無しさん
13/08/21 01:57:25.25 +JSjAoB5
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
512:ご冗談でしょう?名無しさん
13/08/21 18:59:08.35
>>339
しょべーw
この程度なら穀物先物や貴金属先物やれば一瞬だわ
でも、9割以上が1年以内に退場する世界だから勧めないけどな
まあ、きゅむは
・クソニート
・留年ドクター
・研究職最下層の助教
のどれかだとしても始めるのは金銭的に無理w
レバレッジ効かせるにしても種銭が無いと始められないし
助教だとしても年収300万台だろ?w
513:ご冗談でしょう?名無しさん
13/08/21 23:01:56.08 2dL0XLPq
>>512
学生時代無銭の最底辺ナマポニートWWWWW
514:ご冗談でしょう?名無しさん
13/08/21 23:02:32.11 2dL0XLPq
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
515:ご冗談でしょう?名無しさん
13/08/21 23:12:40.98 2dL0XLPq
>>512
同年齢比較したら何一つ1秒ですら勝てずに死ぬナマポニートWWWWW
516:ご冗談でしょう?名無しさん
13/08/22 02:07:16.81
メコスジヤロウ ノ セカイ
517:ご冗談でしょう?名無しさん
13/08/22 03:12:03.35
>>515
反論にすらなってないがw
スライム=学生
スライムベス=院生
だとしたら
成り立ての助教なんてドラキー程度だろ?w
518:ご冗談でしょう?名無しさん
13/08/22 03:53:43.79 14ECtkUF
>>517
お前はただのミジンコだろ
519:ご冗談でしょう?名無しさん
13/08/22 03:54:05.81 14ECtkUF
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
520:ご冗談でしょう?名無しさん
13/08/22 06:15:45.17
>>518
いつものキチガイじみた切れが無いなw
GMOのトレードアイランドなんかは
金融資産と利益が一発で見られるから
それ見せられたらぐうの音も出ないんだろうが
きゅむの現状じゃ始めるのも無理だからなw
才能無いと資産飛ばすだけだし、きゅむにはお勧めできないw
521:ご冗談でしょう?名無しさん
13/08/22 08:31:16.42 9zEdESPv
>>520
年齢と現金見せられない時点でナマポニートWWWWW
522:ご冗談でしょう?名無しさん
13/08/22 08:32:13.98 9zEdESPv
norも理解できないバカがアメリカの政策なんかわかるわけねぇ
ただのカモWWWWW
523:ご冗談でしょう?名無しさん
13/08/22 18:02:54.05 Z4jSpnaP
norも理解できないバカがアメリカの政策なんかわかるわけねぇ
ただのカモWWWWW
524:ご冗談でしょう?名無しさん
13/08/22 18:05:28.85 Z4jSpnaP
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
525:ご冗談でしょう?名無しさん
13/08/23 01:15:43.26 cO0Re8+x
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか?ん?
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
526:ご冗談でしょう?名無しさん
13/08/23 01:33:12.14 s35cL2SG
>>128
>>108
は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
527:ご冗談でしょう?名無しさん
13/08/23 02:38:35.08 +rr6eh/J
自称()慶応理工学研究科博士課程のゲロブス指原ヲタが
スレリンク(joke板)
ゲロブス指原のヲタが精神異常者にしか見えない件
スレリンク(mental板)
528:ご冗談でしょう?名無しさん
13/08/23 03:01:32.28 s35cL2SG
>>128
>>108
は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
529:ご冗談でしょう?名無しさん
13/08/23 03:01:49.89 s35cL2SG
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
530:ご冗談でしょう?名無しさん
13/08/23 14:19:38.12 LEkxMf3H
論文0
特許0
データ0
つまり理科大=詐欺師養成校
531:ご冗談でしょう?名無しさん
13/08/23 14:19:53.50 LEkxMf3H
クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ?ん?
人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ?ん?
東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ
あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな?
詐欺師養成校なんか?ここ
ご丁寧にFacebookで理科大って書いてあるんだもんWWWWWW
532:ご冗談でしょう?名無しさん
13/08/23 14:20:28.18 LEkxMf3H
線積分すら出来ないよーなクズがエネルギー語ったら
そりゃあ100%詐欺になるしかない
533:ご冗談でしょう?名無しさん
13/08/24 12:46:59.29 8TULpkzV
線積分すら出来ないよーなクズがエネルギー語ったら
そりゃあ100%詐欺になるしかない
534:ご冗談でしょう?名無しさん
13/08/24 12:54:43.73
超メコスジ
535:ご冗談でしょう?名無しさん
13/08/24 17:19:56.01 /i/uThRb
メコスジーノ
536:ご冗談でしょう?名無しさん
13/08/25 11:21:54.85
>>495
お前ほんとに数学知らないのね
regularとかどれだけの意味で使われてると思ってるんだ
>>496
hold inは「現れない」なんて訳すのか
The Binomial Theorem holds in any commutative ring
URLリンク(crazyproject.wordpress.com)
慶應博士って英語読めなくても取れるのね
537:ご冗談でしょう?名無しさん
13/08/25 14:25:09.07 HunEzEaW
>>536
norの後だからなぁ
英語出来なかったの悔しかった?ん?
538:ご冗談でしょう?名無しさん
13/08/25 14:27:30.47 HunEzEaW
>>536
このページのは訳は「~における」だな
あれ?
白痴って文脈読む知能指数足りてない?
539:ご冗談でしょう?名無しさん
13/08/25 14:29:44.01 HunEzEaW
>>536
>お前ほんとに数学知らないのね
>regularとかどれだけの意味で使われてると思ってるんだ
やっぱり文脈読む能力0?
540:ご冗談でしょう?名無しさん
13/08/25 14:30:06.02 HunEzEaW
>>536
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
541:ご冗談でしょう?名無しさん
13/08/25 21:33:21.10
>>538
動詞じゃないのか
想像も付かなかった
The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ
URLリンク(books.google.co.jp)
We will give meaning to the expression a satisfies the formula φ(ξ) in A (sometimes abbreviated to
φ(a) holds in A, or is true in A) by induction on the number of quantifiers.
542:ご冗談でしょう?名無しさん
13/08/25 21:45:06.56
>>540
俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな
俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big
君はなにやら違うものをラッセル集合と呼んでるようで
543:ご冗談でしょう?名無しさん
13/08/25 23:33:20.16 BCIR/KeD
>>541
日本語で対応する動詞は存在しない
バカなのか?ん?
544:ご冗談でしょう?名無しさん
13/08/25 23:33:44.34 BCIR/KeD
>>542
>>536
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
545:ご冗談でしょう?名無しさん
13/08/25 23:34:16.77 BCIR/KeD
>>542
痴呆症か?ん?
>>128
>>108
は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
546:ご冗談でしょう?名無しさん
13/08/25 23:34:59.59 BCIR/KeD
全ての公理的集合論は型理論を内包している
これを否定しようとして完全論破されたのがお前
547:ご冗談でしょう?名無しさん
13/08/25 23:37:11.27 BCIR/KeD
>>541
sometimesの意味すら知らない中卒かWWWWW
548:ご冗談でしょう?名無しさん
13/08/26 01:26:58.88
たかしくんwww
549:あぼーん
あぼーん
あぼーん
550:ご冗談でしょう?名無しさん
13/08/26 09:41:31.74
>>544
コピペをそのまま返して何を言いたいのかね?
>>545
数学的に同値とはどういうことかね?
同値というなら逆に型理論の方は公理的集合論を内包してないのかね?
>>547
君は英語全く読めないのね
551:あぼーん
あぼーん
あぼーん
552:ご冗談でしょう?名無しさん
13/08/26 13:28:14.99
URLリンク(www.epcos.org)
Nanoscale writing and erasing of amorphous marks in a GeSbTe thin film with a gold nanoparticle by femtosecond laser irradiation
Takashi Hira and Toshiharu Saiki
Department of Electronics and Electrical Engineering, Keio University
553:ご冗談でしょう?名無しさん
13/08/26 14:30:11.37
URLリンク(confit.atlas.jp)
[18a-C14-9]金ナノロッドを用いたナノ領域相変化および検出
11:15 AM ~ 11:30 AM
○(DC)平敬,本間貴士,内山貴之,斎木敏治
慶大院理工
高密度記録,光ナノスイッチ,相変化材料
554:あぼーん
あぼーん
あぼーん
555:ご冗談でしょう?名無しさん
13/08/26 17:15:37.78
>>553
URLリンク(www.jsap.or.jp)
2013年 第74回応用物理学会秋季学術講演会
開催場所: 同志社大学京田辺キャンパス(京都府京田辺市多々羅都谷1-3)
期間: 2013年9月16日(月) ~ 20日(金)
URLリンク(confit.atlas.jp)
[18a-C14-1~11] 3.7 近接場光学
03.光
一般セッション(口頭講演)
2013年9月18日(水) 9:00 AM ~ 12:00 PM
C14 (TC3 2F-215)
556:ご冗談でしょう?名無しさん
13/08/26 17:48:26.75
たかし…
557:ご冗談でしょう?名無しさん
13/08/26 19:16:09.50
なぜわかった?ん?
558:ご冗談でしょう?名無しさん
13/08/26 20:20:06.66
URLリンク(kaken.nii.ac.jp)
Presentation
T.Hira: "A Complete Switching of the Surface Plasmon Resonance due to Ultrafast Pphase Change of GeSbTe Substrate" 2011 MRS Spring Meeting. (20110427). アメリカ
T.Hira: "Femtosecond Nanoscale Phase-Change Dynamics in GeSbTe Thin Films" The 11th International Symposium on Optical Memory. (20110719). アメリカ(INVITED)(招待講演)
T.Hira: "Giant Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The 2011 European symposium on Phase Change and Ovonic Science. (20110906). スイス(INVITED)(招待講演)
T.Hira: "Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The Symposium on Phase Change Optical Information Storage (PCOS) 2011. (20111118). Shizuoka
平敬: "フェムト秒ナノスケール電子励起によるGeSbTeの相変化誘起" レーザー学会学術講演会第32回年次大会. (20120131). 仙台(招待講演)
559:あぼーん
あぼーん
あぼーん
560:ご冗談でしょう?名無しさん
13/08/27 14:59:39.13
同志社での発表楽しみだわw
561:あぼーん
あぼーん
あぼーん
562:ご冗談でしょう?名無しさん
13/08/27 19:01:08.53
たかしくんってどのくらい凄い人なの?
563:ご冗談でしょう?名無しさん
13/08/27 19:36:22.81
2ちゃん書き込み数で世界トップとるくらいかな?
564:あぼーん
あぼーん
あぼーん
565:ご冗談でしょう?名無しさん
13/08/27 19:47:09.02
みんなで同志社つめかけようぜ!
566:あぼーん
あぼーん
あぼーん
567:あぼーん
あぼーん
あぼーん
568:ご冗談でしょう?名無しさん
13/08/27 21:06:36.19
大学ってこんなゴミの面倒まで見ないといけないの?大変ですね。
569:ご冗談でしょう?名無しさん
13/08/28 00:11:04.64 u5mnZTyv
_,,..r'''""~~`''ー-.、
,,.r,:-‐'''"""~~`ヽ、:;:;:\
r"r ゝ、:;:ヽ
r‐-、 ,...,, |;;;;| ,,.-‐-:、 ヾ;:;ゝ
:i! i! |: : i! ヾ| r'"~~` :;: ::;",,-‐‐- `r'^!
! i!. | ;| l| ''"~~ 、 i' | イェーイ
i! ヽ | | | ,.:'" 、ヽ、 !,ノ
ゝ `-! :| i! .:;: '~~ー~~'" ゙ヾ : : ::|
r'"~`ヾ、 i! i! ,,-ェェI二エフフ : : :::ノ~|`T 敬(たかし)くん見てるー?
,.ゝ、 r'""`ヽ、i! `:、 ー - '" :: : :/ ,/
!、 `ヽ、ー、 ヽ‐''"`ヾ、.....,,,,_,,,,.-‐'",..-'"
| \ i:" ) | ~`'''ー---―''"~
570:あぼーん
あぼーん
あぼーん
571:あぼーん
あぼーん
あぼーん
572:あぼーん
あぼーん
あぼーん
573:ご冗談でしょう?名無しさん
13/08/28 17:42:54.02 ooXVQfj7
へいけーいけーい♪へいけーいけーい♪
人生捨ててもまだマジキチ♪
あっと驚く奇跡も起きない♪
あなたと日吉であえそうだね確信♪
574:ご冗談でしょう?名無しさん
13/08/28 17:57:18.74
名前バレして来なくなったってことは、
今までの所業が悪いことだとは認識できていたってことだよね?
本物のキチガイではなかったってことか・・・意外だな。
575:ご冗談でしょう?名無しさん
13/08/28 18:16:28.15
AKBスレで絶賛大暴れ中
576:ご冗談でしょう?名無しさん
13/08/28 21:48:40.14
>>574
本物のキチガイだよ
指原スレ行ってみなよ
577:あぼーん
あぼーん
あぼーん
578:ご冗談でしょう?名無しさん
13/08/29 23:58:03.10
>>558
講演ばかりで論文が>>552しか出てこないんだよな
しかも、さらに謎なのは斎木研の業績に全くきゅむが出てこないんだけど
どういうことだってばよ?
で、
>>552の論文見るとFDTD法のシミュレーションやってるね
前スレ
504 名前: ご冗談でしょう?名無しさん 投稿日: 2013/07/16(火) 01:08:45.43 ID:zaCk92+d
>>503
東京理科大のバカには理解出来ないんだろ
静圧・風速は全方向に音速で伝播してエネルギーと情報を伝える
その効果範囲は無限大で効果がなくなる境目など存在しない
家の蛇口をひねれば水源地の水位が変わるのさ
音速で伝播する
この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
これを破るシミュレーションは正しい結果をもたらさない
↑
FDTD法の知識を元に書いていると考えると多少はすっきりする
しかし、同志社大の発表どうするんだろうな
金払えば一般人でも公聴できるよね?
いよいよ顔バレするのか
579:ご冗談でしょう?名無しさん
13/08/30 00:02:36.56
往復3万かけてまで京都行く気にはなんないなーw
580:ご冗談でしょう?名無しさん
13/08/30 18:21:22.25
微小系でしか適用されない現象を強制適用するという誤謬というか詭弁を押し通すのが特徴だよな
581:ご冗談でしょう?名無しさん
13/08/30 21:41:16.25 FuK/2DPJ
同志社大のヤツ、満席ワロスwww
なんか「同志社オフ」をやるみたいwww
582:あぼーん
あぼーん
あぼーん
583:ご冗談でしょう?名無しさん
13/09/02 06:39:46.66 IhCQkW8c
タカティーww
584:ご冗談でしょう?名無しさん
13/09/03 08:19:02.53
なかっち 動画
URLリンク(www.youtube.com)
みんなで選ぶニコ生重大事件 2012
URLリンク(vote1.fc2.com)
2012年 ニコ生MVP
URLリンク(blog.with2.net)
2012年ニコ生事件簿ベスト10
URLリンク(niconama.doorblog.jp)
生放送の配信者がFME切り忘れプライベートを晒す羽目に 放送後に取った行動とは?
URLリンク(getnews.jp)
FME切り忘れた生主が放送終了後、驚愕の行動
URLリンク(niconama.doorblog.jp)
台湾誌
URLリンク(www.ettoday.net)
585:ご冗談でしょう?名無しさん
13/09/09 13:08:48.91
>>549,551,554,559,561,564,566,567,570,571,572,577 削除依頼乙
◆nyDbrW8/YE = 非因果的ブラックボックス(哲学板荒らし) = きゅむ(AKBスレ荒らし) = 慶応大学 理工学研究科 後期博士課程 T. H.
アイドルだけに留まらず、
こいつの学歴差別ならぬ「学歴差“蔑”」は完全アウトだからな。
哲学板では先鋭的過ぎてタダのキチガイ。
排気風力発電関連では、各大学や大手企業(特に三菱系)へ対する病的に激しい名誉毀損。
物理学の大学院生としては許されない明確な詭弁の数々。
本来の意味での確信犯。
これで慶大が放置したら、慶大も同罪な。
●「誹謗中傷した人」が法的保護を受けることは難しい
「誹謗中傷をしていたことが明らかになったということを理由に、損害賠償請求をすることは難しいと思います。自ら不法な行為をしていた以上、その者を保護するべき必要が乏しく、また、そもそもどういった権利が侵害されたのかということも必ずしも明らかでないからです」
URLリンク(headlines.yahoo.co.jp)
586:あぼーん
あぼーん
あぼーん
587:あぼーん
あぼーん
あぼーん
588:ご冗談でしょう?名無しさん
13/09/11 15:22:00.05 2XLo6bFR
ひらたかs君ビビッてるww
589:ご冗談でしょう?名無しさん
13/09/11 18:36:53.89 Kz0uPLT3
ひらかた市レスが悉くあぼーんw
590:ご冗談でしょう?名無しさん
13/09/12 00:55:22.08 6ZYRtXWG
これっていったいどっちの「主張」の方が正しいん?
#純粋に「学術的」に。
591:ご冗談でしょう?名無しさん
13/09/12 05:12:31.51
ダクト排気で風力発電でエネルギーを生み出すことは原理的に不可能
発電のためのエネルギー分排気能力を落とすことになるが,
それならダクトの回転数を落とした方が節電になる。
592:ご冗談でしょう?名無しさん
13/09/12 06:37:53.01
このスレではもう排気風力発電の話なんか殆どしてないわけだが
>>590の「主張」がそのことをいってるのなら
>>31にある過去ログ見ればよかろ
593:ご冗談でしょう?名無しさん
13/09/12 06:45:36.74
排気風力発電肯定派の意見のまとめは
スレリンク(sci板:792番)
とか
594:ご冗談でしょう?名無しさん
13/09/14 21:36:01.47
こんなこといってたのに>>356>>358
白痴未満大学院生はもう来ないのか
英文の査読論文要求しといてマトモに英語読めないのには参った
常に予想の上を行くダメさ
あのヘンテコなholdの解釈でvon Neumann読んでるとか酷い冗談
595:ご冗談でしょう?名無しさん
13/09/14 22:14:13.12
本名割れちゃったからね
恥ずかしくてこれないでしょw
596:ご冗談でしょう?名無しさん
13/09/16 09:30:19.84
もしかして学会中止?
悪運強えな
597:ご冗談でしょう?名無しさん
13/11/09 02:46:31.56 7p775tHP
平平平
598:ご冗談でしょう?名無しさん
13/11/09 02:51:45.44
敬敬敬
599:ご冗談でしょう?名無しさん
13/11/09 20:09:55.95
読み返すとコピペに流されて見逃してたものが見つかるな
>>537はnorが関係代名詞which、接続詞sinceを飛び越えてholdに係るって言ってるのか
> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which
> would be universal since ∀x(not x ∈ x) holds in ZF).
そもそもholdsの主語は∀x(not x ∈ x)という命題であって、それが現れるだの現れないだの意味が分からない
norがどうたら言ってるから全然違う構文解釈しているのだろうが、そうなると中学高校レベルの英語もまるで出来てないということだろう
>>547ではsometimesをどんな意味だと言い張るつもりだったんだろう?
600:ご冗談でしょう?名無しさん
13/11/15 21:49:09.92
>>495
URLリンク(ja.wikipedia.org)
数学と計算機科学において、「決定不能」という言葉には二つの異なった意味がある。
一つ目は証明論の文脈でゲーデルの定理に関連して使われる意味であり、特定の形式的体系の下で或る命題を証明も否定の証明もできないことを言う。
二つ目は(本項では詳述しないが)計算可能性理論に関連した用法であり、命題ではなく決定問題に適用される。
決定問題とは答が YES か NO のいずれかになるような問題の可算無限集合である。ある問題集合に含まれる全ての問題に正しく解答するような計算可能関数が存在しないとき、そうした問題は決定不能であると言う。
601:ご冗談でしょう?名無しさん
13/11/15 22:52:07.89
>>469
URLリンク(en.wikipedia.org)
で例に挙げられたLPでは、仮定p, not p, qからqは証明できてnot qは証明できない
敬君の意味で仮定p, not p, qからqが推論可能
一方、古典論理では仮定p, not p, qからqもnot qも証明できる
敬君の意味で仮定p, not p, qからqは推論不可能
paraconsistent logic LPは古典論理より、敬君の意味で推論能力が高いことになる
>>375の引用と合わないね
602:ご冗談でしょう?名無しさん
13/11/16 22:50:07.08
>>375
URLリンク(www.iep.utm.edu)
Secondly, since DS is a valid classical inference, we can see clearly that a paraconsistent logic will validate fewer inferences than classical logic.
(No classically invalid inferences are going to become valid by dint of inconsistent information.)
That is the whole idea―that classical logic allows too much, and especially given the possibility of inconsistency, we must be more discriminating.
This is sometimes expressed by saying that paraconsistent logics are ‘weaker’ than classical logic; but since paraconsistent logics are more flexible and apply to more situations, we needn’t focus too much on the slang.
Classical logic is in many ways more limited than paraconsistent logic (see §4c.).
「矛盾許容」とか「弱い」といった言葉の響きだけで分かったつもりになっているようでは理系として無能
博士課程まで来てそんなでは救いようが無い馬鹿
603:ご冗談でしょう?名無しさん
14/01/16 03:29:25.57 bYaLT8U8
スレリンク(sci板:190番)
↑ ↑ ↑ ↑ ↑ ↑
604:ご冗談でしょう?名無しさん
14/02/01 21:58:23.52
URLリンク(www.st.keio.ac.jp)
博士学位請求論文公聴会
日程:2014/02/05(水)13:00~14:30
発表者:平 敬
題目:カルコゲナイド相変化材料を用いた局在表面プラズモン共鳴スイッチング
専攻:総合
場所:電子工学科会議室(25-402)
605:ご冗談でしょう?名無しさん
14/02/12 23:15:59.88
>>119>>129>>244
基礎の公理の成り立たない集合論 (non well-founded set theory) について
渕野 昌
URLリンク(kurt.scitec.kobe-u.ac.jp)
>>258>>280>>289>>311
鴨 浩靖
URLリンク(taurus.ics.nara-wu.ac.jp)
よくある間違い2 「正則性公理(基礎の公理)はパラドックスを排除するために導入された」
数学の理論で公理を増やして定理が減ることはありません。だから、公理を追加することで矛盾が解消することなど、ありえません。
集合論そのものをよく知らなくても、常識を働かせるだけですぐわかる間違いです。なんでこんなのを信じちゃう人がいるんでしょうねえ。
606:ご冗談でしょう?名無しさん
14/02/15 22:38:30.96
>>366
証明において全ての公理を使う必要は無い
そもそもZFの公理は無限個なのに対し、証明は有限の長さなのだから、全ての公理を使うのは不可能
本当に初歩的な知識も無いままデタラメ喚き散らしてる
>>372>>373>>377
論文はparaconsistent set theoryが主題だが、引用した部分は本題に入る前の枕として古典論理上でのラッセルのパラドックスについて述べている
paraconsistentという単語に反応してグダグダ喚く人工無能は平君
>>389
証明する意味など関係無く、証明能力の強いとはより多くの命題が証明できること
証明能力の強さが演繹体系の有用さではないということを矛盾した公理系の例から察しろというのは白痴未満君には無理な要求だった
>>390
ある命題が決定不能とは通常、その命題も否定も証明できないことを言う
肯定と否定が両方証明されるときはそもそも公理系が矛盾している
推論能力という言葉はあまり使われていないようで勝手に意味を決めて使ってもよいだろうが
おそらく大抵の人は証明能力の意味にとるだろうし、
白痴未満君が>>375でwikipediaからパクった文章でも証明能力の意味で使ってるだろう
そもそも脳神経の性能が足りてない敬君が証明という概念を理解しているか疑わしいが
>>495
多くの数学者は基礎論を殆ど知らない。基礎論に合わせることなど考えてもいないだろう
607:ご冗談でしょう?名無しさん
14/02/19 23:25:08.73
>>268
必要条件、十分条件、量化子、反例といった論理の基本からしてめちゃくちゃ
>>418
CFL条件を理解していないか、そもそも不等式というものが理解できていないか
>>266>>434>>441>>444
自分の主張の正しさより何でもいいから自分が勝ったことにするのに必死
突然、変てこな論文貼りゲームやってたことにして、その勝手に決めたルールには自分の勝利条件しかない
まるで幼稚園児