「安倍が死ねば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真 [無断転載禁止]©2ch.net

1132人目の素数さん2017/03/29(水) 06:03:13.82ID:LYDp2KuN
これマジ?

2132人目の素数さん2017/03/29(水) 13:06:07.94ID:32crP/Cb
在日朝鮮人の未来のために

3132人目の素数さん2017/03/29(水) 20:43:48.46ID:4fPCJC50
待ってりゃ、いつかは死ぬだろ。

4132人目の素数さん2017/03/30(木) 03:44:24.34ID:WtPRQW/q
辻元清美議員おもしろいねえ

5132人目の素数さん2017/03/31(金) 10:46:04.86ID:132bN3hL
晋太郎さんは1991/05/15 にお亡くなりです。合掌。

6132人目の素数さん2017/03/31(金) 10:47:16.45ID:132bN3hL
晴明さんは寛弘2年9月26日(1005/10/31)にお亡くなりです。合掌。


晴明神社
 京都市 上京区 堀川通一条上ル晴明町806
墓所
 京都市 右京区 角倉町 嵯峨天竜寺12

アベノ晴明神社
 大阪市 阿倍野区 阿倍野元町5-16

7132人目の素数さん2017/03/31(金) 10:58:17.18ID:132bN3hL
仲麻呂さんは宝亀元年1月(770/01/ )にお亡くなりです。合掌。

http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Hyakuninisshu_007.jpg

8132人目の素数さん2017/04/03(月) 20:17:28.28ID:6GuF9VGW
数学板、論理もできない頭弱いやつしかおらんのな

9132人目の素数さん2017/04/03(月) 20:18:37.14ID:6GuF9VGW
糞スレ立てるまえに義務教育やり直せ

10132人目の素数さん2017/04/06(木) 18:25:44.24ID:KSoQrK98
>>1はダメだね。

「安倍が死んでいれば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真

これなら正しいよ。

11132人目の素数さん2017/04/07(金) 17:33:35.78ID:TiMQkNFd
「安倍が死んでいれば、日本は不幸になる」という命題があるとき、安倍が死んでないならこの命題は必ず真

これなら正しいよ。

12132人目の素数さん2017/04/22(土) 14:49:37.14ID:9ojTzazq
>>10
「安倍が死んでいれば、日本は幸せになる」という命題が真であるとき、安倍が死んでないならこの命題は必ず真

ではないか?

13132人目の素数さん2017/04/29(土) 13:10:40.84ID:Z+/FgQ1B
>>12
なんで最初から真なのに、更に真偽を判断するんだ?w

14◆2VB8wsVUoo 2017/05/08(月) 11:17:46.22ID:OR+quqWp

15◆2VB8wsVUoo 2017/05/08(月) 11:18:07.71ID:OR+quqWp

16◆2VB8wsVUoo 2017/05/08(月) 11:18:28.73ID:OR+quqWp

17◆2VB8wsVUoo 2017/05/08(月) 11:18:50.10ID:OR+quqWp

18◆2VB8wsVUoo 2017/05/08(月) 11:19:12.21ID:OR+quqWp

19◆2VB8wsVUoo 2017/05/08(月) 11:19:31.91ID:OR+quqWp

20◆2VB8wsVUoo 2017/05/08(月) 11:19:57.11ID:OR+quqWp

21◆2VB8wsVUoo 2017/05/08(月) 11:20:17.56ID:OR+quqWp

22◆2VB8wsVUoo 2017/05/08(月) 11:20:42.35ID:OR+quqWp

23◆2VB8wsVUoo 2017/05/08(月) 11:21:05.14ID:OR+quqWp

24132人目の素数さん2017/05/28(日) 10:22:13.06ID:zPlLctl0
  /⌒~ヽノ~⌒\       _/ ̄Z_
 `/ ⌒ヾヾソノノ⌒ヽヽ    / ___   <
 |i / ̄ヾノ ̄ヽi |    / /   \__ヽ
 ノノ|ノ\ /ヽ |ヽし   レ| \ / |N
 彡ノ-・- ii -・-ヽミイ    (|-・-∧-・- |彡
 ヽ(  ー || ー )_ノ彡    .ヒ   | |   ソ
  |  ヽノ   |彡    |   ‥   |
   \ ー― \/       \  ― ) /
    \___/         \__/ル
    /V▽ V\        /V>< V\

        売 国 罪 親 子

25◆2VB8wsVUoo 2017/05/28(日) 10:32:44.47ID:XNCQoRuM
★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★


26◆2VB8wsVUoo 2017/05/28(日) 11:24:11.18ID:XNCQoRuM

27◆2VB8wsVUoo 2017/05/28(日) 11:24:31.08ID:XNCQoRuM

28◆2VB8wsVUoo 2017/05/28(日) 11:24:52.90ID:XNCQoRuM

29◆2VB8wsVUoo 2017/05/28(日) 11:25:11.38ID:XNCQoRuM

30◆2VB8wsVUoo 2017/05/28(日) 11:25:33.13ID:XNCQoRuM

31◆2VB8wsVUoo 2017/05/28(日) 11:25:54.42ID:XNCQoRuM

32◆2VB8wsVUoo 2017/05/28(日) 11:26:15.07ID:XNCQoRuM

33◆2VB8wsVUoo 2017/05/28(日) 11:26:36.78ID:XNCQoRuM

34◆2VB8wsVUoo 2017/05/28(日) 11:26:57.26ID:XNCQoRuM

35◆2VB8wsVUoo 2017/05/28(日) 11:27:18.97ID:XNCQoRuM

36132人目の素数さん2017/05/28(日) 16:10:05.67ID:7P7mX1i/
そのときは蓮舫は日本人であるか?

37◆2VB8wsVUoo 2017/05/28(日) 16:30:10.44ID:XNCQoRuM
★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★


38◆2VB8wsVUoo 2017/05/28(日) 17:33:51.83ID:XNCQoRuM

39◆2VB8wsVUoo 2017/05/28(日) 17:34:13.84ID:XNCQoRuM

40◆2VB8wsVUoo 2017/05/28(日) 17:34:35.03ID:XNCQoRuM

41◆2VB8wsVUoo 2017/05/28(日) 17:34:54.71ID:XNCQoRuM

42◆2VB8wsVUoo 2017/05/28(日) 17:35:15.56ID:XNCQoRuM

43◆2VB8wsVUoo 2017/05/28(日) 17:35:36.64ID:XNCQoRuM

44◆2VB8wsVUoo 2017/05/28(日) 17:35:57.47ID:XNCQoRuM

45◆2VB8wsVUoo 2017/05/28(日) 17:36:24.33ID:XNCQoRuM

46◆2VB8wsVUoo 2017/05/28(日) 17:36:46.95ID:XNCQoRuM

47◆2VB8wsVUoo 2017/05/28(日) 17:37:07.74ID:XNCQoRuM

48132人目の素数さん2017/05/29(月) 18:31:30.99ID:wYB+NECa
「安倍が死ねば、日本は幸せになる」
「蓮舫が死ねば、日本人がひとりへる」

この命題の信義を投う

49◆2VB8wsVUoo 2017/05/29(月) 19:22:11.44ID:bj0Vx5WD
★★★数学徒は馬鹿板をしない生活を送るべき。大脳が腐るのでサッサとヤメレ。★★★


50◆2VB8wsVUoo 2017/05/29(月) 21:24:55.93ID:bj0Vx5WD

51◆2VB8wsVUoo 2017/05/29(月) 21:25:14.70ID:bj0Vx5WD

52◆2VB8wsVUoo 2017/05/29(月) 21:25:35.55ID:bj0Vx5WD

53◆2VB8wsVUoo 2017/05/29(月) 21:25:54.92ID:bj0Vx5WD

54◆2VB8wsVUoo 2017/05/29(月) 21:26:13.40ID:bj0Vx5WD

55◆2VB8wsVUoo 2017/05/29(月) 21:26:32.72ID:bj0Vx5WD

56◆2VB8wsVUoo 2017/05/29(月) 21:26:52.93ID:bj0Vx5WD

57◆2VB8wsVUoo 2017/05/29(月) 21:27:12.39ID:bj0Vx5WD

58◆2VB8wsVUoo 2017/05/29(月) 21:27:34.15ID:bj0Vx5WD

59◆2VB8wsVUoo 2017/05/29(月) 21:27:57.78ID:bj0Vx5WD

60132人目の素数さん2017/06/01(木) 17:17:48.52ID:apZpavOU
        _/::::::::ソ:::::::::::::゛'ヽ、
       /:::::-:::i´i|::|/:::::::::::::::::ヽ                _,-=vィ彡ミミミヽ,
       /:::::::,,ヽ"` "ヽミミ:::::::::::ヽ               ミミ彡=ミミミミミミミ,,
      /::::::=        `-:::::::ヽ              ミ彡   ミミミミミミミミ
      |::::::/ .,,,=≡,  ,≡=、 l:::::l   売          彡! __    ミミミミミミミ
   /\ i::::l゛ /・\,!./・\、l:::!          /´|   ミ!   \_  _/~ ミミミ彡
   \/⌒ゝ' "  ノ/ i\   |:i    国     | |  /´}!| `-=・=‐∧'-=・=‐' 川ミ
   ノ ノ⌒,- ),、 ,ィ_____.iヽ   i/          | | / / !|       _    !!ミ
  /´ ´ ' , ^ ヽ   /  l  i   )     奴   rート、 l' / ゞ|ヽ、 人・ ・人   ノゞ
  /    ヽ ノ"\ノ`'''`''''´ヽ _/         { ! {、ヽ. l  ヽ|  、 ____   ル
 人    ノ \/ `ー'´ /          ハ_>Jノ l |   .\ `ヽエエノ  ソ
/::::\__/:::::::ヽ  ` "ーイ__         〉   /      ト-____-ノ 入
:::::::::::::::: |::::::::::\\__  / |:::::::::::\       /   / . ゝ-___..| ト   ノノ ヽ_

61◆2VB8wsVUoo 2017/06/01(木) 17:43:43.20ID:IJ9BQrl7
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★


62◆2VB8wsVUoo 2017/06/01(木) 18:32:35.55ID:IJ9BQrl7

63◆2VB8wsVUoo 2017/06/01(木) 18:32:56.87ID:IJ9BQrl7

64◆2VB8wsVUoo 2017/06/01(木) 18:33:16.49ID:IJ9BQrl7

65◆2VB8wsVUoo 2017/06/01(木) 18:33:37.47ID:IJ9BQrl7

66◆2VB8wsVUoo 2017/06/01(木) 18:33:58.40ID:IJ9BQrl7

67◆2VB8wsVUoo 2017/06/01(木) 18:34:17.81ID:IJ9BQrl7

68◆2VB8wsVUoo 2017/06/01(木) 18:34:36.74ID:IJ9BQrl7

69◆2VB8wsVUoo 2017/06/01(木) 18:34:56.27ID:IJ9BQrl7

70◆2VB8wsVUoo 2017/06/01(木) 18:35:16.34ID:IJ9BQrl7

71◆2VB8wsVUoo 2017/06/01(木) 18:35:34.61ID:IJ9BQrl7

72132人目の素数さん2017/06/03(土) 12:48:00.22ID:f+Vd7GGP
 ■ 自民党戦略特区廃止法案提出へ
http://carpenter.2ch.net/test/read.cgi/liveplus/1496420542/

【農業特区】 小泉進次郎 【モンサント外資へ売国】
http://egg.2ch.net/test/read.cgi/sisou/1285092910/
【神奈川区】 石川たくみ 【アグリビジネスへの詐欺】
http://mint.2ch.net/test/read.cgi/giin/1491719947/
【三浦市区】 吉田 英男 【公用車でソープランドに】
http://rio2016.2ch.net/test/read.cgi/koumu/1489670675/

73132人目の素数さん2017/06/03(土) 19:37:47.46ID:ny7jnnlo

74132人目の素数さん2017/06/03(土) 20:02:36.05ID:gvM2eAeg
またネトエラが暴れてんのか。

75◆2VB8wsVUoo 2017/06/04(日) 17:00:14.21ID:+ujylFoS
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★


76◆2VB8wsVUoo 2017/06/05(月) 04:02:43.82ID:zhDHDNnu

77◆2VB8wsVUoo 2017/06/05(月) 04:03:02.64ID:zhDHDNnu

78◆2VB8wsVUoo 2017/06/05(月) 04:03:19.96ID:zhDHDNnu

79◆2VB8wsVUoo 2017/06/05(月) 04:03:37.55ID:zhDHDNnu

80◆2VB8wsVUoo 2017/06/05(月) 04:03:58.29ID:zhDHDNnu

81◆2VB8wsVUoo 2017/06/05(月) 04:04:16.45ID:zhDHDNnu

82◆2VB8wsVUoo 2017/06/05(月) 04:04:37.04ID:zhDHDNnu

83◆2VB8wsVUoo 2017/06/05(月) 04:04:54.64ID:zhDHDNnu

84◆2VB8wsVUoo 2017/06/05(月) 04:05:00.12ID:zhDHDNnu

85◆2VB8wsVUoo 2017/06/05(月) 04:05:21.35ID:zhDHDNnu

86132人目の素数さん2017/08/07(月) 15:25:21.27ID:0YzkEl/p
耳栓をしたら世界が変わってワロタ

87132人目の素数さん2017/08/08(火) 19:26:26.02ID:t7hhQ0LI
次の演繹が正しいことを証明せよ。

すべての患者はすべての頭のよい医者を好む。
幾人かの患者はいかなるド底辺特殊シリツ医大卒をも好まない。
ゆえにすべてのド底辺特殊シリツ医大卒は頭がよくない。

(証明)
Dx : xは医者である
Wx : xは頭がよい
Sx : xはド底辺特殊シリツ医大卒である
Lpx : pはxを好む

P1 : ∀p∀x(Dx∧Wx→Lpx)
P2 : ∃p∀x(Dx∧Sx→¬Lpx)
Q : ∀x(Dx∧Sx→¬Wx)

¬Qを仮定すれば∃x(Dx∧Sx∧Wx)
これを満たすxをaとするとDa∧Sa∧Wa (1)
(1)からDa∧Wa (2)
P1と(2)から ∀p(Da∧Wa→Lpa)
∀p(Lpa) (3)
(1)からDa∧Sa (4)
P2と(4)から ∃p(Da∧Sa→¬Lpa)
これを満たすpをbとすると
Da∧Sa→¬Lba
¬Lba (5)
(3)はp=bでも成立するから
Lba (6)
(5)(6)は矛盾するから仮定の¬Qは誤り。
ゆえにQは真

88132人目の素数さん2017/08/13(日) 18:16:35.57ID:+zIOnWE6
# Lukasiewicz

library('gtools')
pm2=permutations(2,2,v=c(T,F),re=TRUE) ; pm2
pm3=permutations(2,3,v=c(T,F),re=TRUE) ; pm3

imply <- function(x,y) !x || y
eqv <- function(x,y) (!x||y)&&(!y||x)

for(i in 1:4) print(f1(pm2[i,]))
for(i in 1:8) print(f1(pm3[i,]))

# L1 : A->(B->A)
f <- function(A,B) imply(A,imply(B,A))
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))

# L2 : (A->(B->C))->((A->B)->(A->C))
f <- function(A,B,C) imply(imply(A,imply(B,C)),imply(imply(A,B),imply(A,C)))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))

# L3 : (!B->!A) -> (A->B)
f <- function(A,B,C) imply(imply(!B,!A),imply(A,B))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))

# modus ponens A & (A->B) -> B
f <- function(A,B) imply(A && imply(A,B),B)
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))

89132人目の素数さん2017/08/25(金) 06:06:34.79ID:TnSKYvL2
A∨B ⇔ ¬A→B
Bを¬Aとすれば
排中律 A∨¬Aは¬A→¬Aと同値。

公理L1 : p→(q→p)
公理L2 : (p→(q→r))→((p→q)→(p→r))
公理L3 : (¬q→¬p) → (p→q)
modus ponens(推論規則) A, A->B ⇒ B

(1)x→xの証明
L1,L2でp=x,q=x→x,r=xとすれば
x→((x→x)→x)
(x→((x→x)→x)) → ((x→(x→x))→(x→x))
ゆえに
((x→(x→x))→(x→x))
L1によりx→(x→x)は常に成り立つからx→x (1*)
(1*)でx=¬Aとすれば ¬A→¬A

即ち、排中律が演繹できる。

90132人目の素数さん2017/08/25(金) 06:07:07.41ID:TnSKYvL2
二重否定律¬¬A→Aの証明

L1にp=¬a,q=¬bとして
¬a→(¬b→¬a)
¬aを仮定して
¬b→¬a
L3によりこれはa→b
ゆえに¬a→(a→b) (2*)
(2*)に a=¬A, b=¬¬¬Aとすると
¬¬A→(¬A→¬¬¬A)
L3にp=¬¬A, q=Aとすると
(¬A→¬¬¬A)→(¬¬A→A)
ゆえに
¬¬A→(¬¬A→A)
L2でp=¬¬A,q=¬¬A,r=Aとすれば
(¬¬A→(¬¬A→A))→((¬¬A→¬¬A)→(¬¬A→A))
なので
(¬¬A→¬¬A)→(¬¬A→A)
¬¬A→¬¬A ∵ (1*) x=¬¬A
¬¬A→A

91132人目の素数さん2017/09/05(火) 06:15:29.37ID:PCfG056b
耳栓をしたら世界が変わってワロタ

92◆2VB8wsVUoo 2017/09/05(火) 06:39:20.16ID:ZSz+2Alj

93◆2VB8wsVUoo 2017/09/05(火) 06:39:37.25ID:ZSz+2Alj

94◆2VB8wsVUoo 2017/09/05(火) 06:39:53.49ID:ZSz+2Alj

95◆2VB8wsVUoo 2017/09/05(火) 06:40:11.34ID:ZSz+2Alj

96◆2VB8wsVUoo 2017/09/05(火) 06:40:29.31ID:ZSz+2Alj

97◆2VB8wsVUoo 2017/09/05(火) 06:40:47.87ID:ZSz+2Alj

98◆2VB8wsVUoo 2017/09/05(火) 06:41:06.34ID:ZSz+2Alj

99◆2VB8wsVUoo 2017/09/05(火) 06:41:22.39ID:ZSz+2Alj

100◆2VB8wsVUoo 2017/09/05(火) 06:41:50.65ID:ZSz+2Alj

101◆2VB8wsVUoo 2017/09/05(火) 06:42:09.70ID:ZSz+2Alj

102132人目の素数さん2017/09/05(火) 07:09:50.61ID:PCfG056b
耳栓をしたら世界が変わってワロタ

103◆2VB8wsVUoo 2017/09/05(火) 07:26:31.19ID:ZSz+2Alj

104132人目の素数さん2017/09/05(火) 23:20:09.87ID:eS/AbM2S
1000億円あれば 俺は幸福だ

この命題は正しいか?

105◆2VB8wsVUoo 2017/09/05(火) 23:39:26.54ID:ZSz+2Alj

106◆2VB8wsVUoo 2017/09/05(火) 23:39:43.99ID:ZSz+2Alj

107◆2VB8wsVUoo 2017/09/05(火) 23:40:01.41ID:ZSz+2Alj

108◆2VB8wsVUoo 2017/09/05(火) 23:40:17.38ID:ZSz+2Alj

109◆2VB8wsVUoo 2017/09/05(火) 23:40:34.75ID:ZSz+2Alj

110◆2VB8wsVUoo 2017/09/05(火) 23:40:52.79ID:ZSz+2Alj

111◆2VB8wsVUoo 2017/09/05(火) 23:41:10.88ID:ZSz+2Alj

112◆2VB8wsVUoo 2017/09/05(火) 23:41:30.91ID:ZSz+2Alj

113◆2VB8wsVUoo 2017/09/05(火) 23:41:50.37ID:ZSz+2Alj

114◆2VB8wsVUoo 2017/09/05(火) 23:42:11.56ID:ZSz+2Alj

115132人目の素数さん2017/09/06(水) 13:35:04.54ID:bmfelSef
耳栓をしたら世界が変わってワロタ

116◆2VB8wsVUoo 2017/09/06(水) 13:49:19.96ID:nJ0wcqLn

117132人目の素数さん2017/09/06(水) 14:46:37.10ID:bmfelSef
耳栓をしたら世界が変わってワロタ

118◆2VB8wsVUoo 2017/09/06(水) 15:12:21.65ID:nJ0wcqLn

119132人目の素数さん2017/09/06(水) 17:48:11.10ID:ePl/5RiZ
>>104
前提が偽だから正しくなる という論理が正しいかというのがこのスレの趣旨。

120◆2VB8wsVUoo 2017/09/06(水) 17:52:35.97ID:nJ0wcqLn

121◆2VB8wsVUoo 2017/09/06(水) 17:52:52.55ID:nJ0wcqLn

122◆2VB8wsVUoo 2017/09/06(水) 17:53:09.68ID:nJ0wcqLn

123◆2VB8wsVUoo 2017/09/06(水) 17:53:24.75ID:nJ0wcqLn

124◆2VB8wsVUoo 2017/09/06(水) 17:53:42.51ID:nJ0wcqLn

125◆2VB8wsVUoo 2017/09/06(水) 17:54:00.27ID:nJ0wcqLn

126◆2VB8wsVUoo 2017/09/06(水) 17:54:18.67ID:nJ0wcqLn

127◆2VB8wsVUoo 2017/09/06(水) 17:54:38.79ID:nJ0wcqLn

128◆2VB8wsVUoo 2017/09/06(水) 17:54:56.62ID:nJ0wcqLn

129◆2VB8wsVUoo 2017/09/06(水) 17:55:18.24ID:nJ0wcqLn

130132人目の素数さん2017/09/07(木) 12:24:22.70ID:PhnGCXNB
耳栓をしたら世界が変わってワロタ

131◆2VB8wsVUoo 2017/09/07(木) 13:04:29.75ID:6DNo3zLu

132132人目の素数さん2017/09/07(木) 16:30:17.80ID:HwZjegKy
1億円あれば 俺は幸福だ

この命題は正しいか?

133◆2VB8wsVUoo 2017/09/07(木) 16:50:37.96ID:6DNo3zLu

134◆2VB8wsVUoo 2017/09/07(木) 16:50:54.54ID:6DNo3zLu

135◆2VB8wsVUoo 2017/09/07(木) 16:51:11.33ID:6DNo3zLu

136◆2VB8wsVUoo 2017/09/07(木) 16:51:27.15ID:6DNo3zLu

137◆2VB8wsVUoo 2017/09/07(木) 16:51:44.65ID:6DNo3zLu

138◆2VB8wsVUoo 2017/09/07(木) 16:52:01.63ID:6DNo3zLu

139◆2VB8wsVUoo 2017/09/07(木) 16:52:19.39ID:6DNo3zLu

140◆2VB8wsVUoo 2017/09/07(木) 16:52:37.28ID:6DNo3zLu

141◆2VB8wsVUoo 2017/09/07(木) 16:52:53.14ID:6DNo3zLu

142◆2VB8wsVUoo 2017/09/07(木) 16:53:08.66ID:6DNo3zLu

143132人目の素数さん2017/09/08(金) 06:21:12.28ID:q0YfmsRR
耳栓をしたら世界が変わってワロタ

144◆2VB8wsVUoo 2017/09/08(金) 06:33:55.11ID:6ibQhXIy

145132人目の素数さん2017/09/08(金) 14:24:03.35ID:QUnPaFLf
小学レベルとバカプロ固定、
サイコパス
High level people、
低脳幼稚園児のAAお絵かき、
お断り!
小学生がたまにいますので、18金よろしくね!(^^

146132人目の素数さん2017/09/08(金) 14:24:31.97ID:R9iTmmpR
(A→¬A)→¬Aも恒真式

147◆2VB8wsVUoo 2017/09/08(金) 14:25:47.49ID:6ibQhXIy

148◆2VB8wsVUoo 2017/09/08(金) 14:26:05.02ID:6ibQhXIy

149◆2VB8wsVUoo 2017/09/08(金) 14:26:22.09ID:6ibQhXIy

150◆2VB8wsVUoo 2017/09/08(金) 14:26:39.44ID:6ibQhXIy

151◆2VB8wsVUoo 2017/09/08(金) 14:26:55.74ID:6ibQhXIy

152◆2VB8wsVUoo 2017/09/08(金) 14:27:11.88ID:6ibQhXIy

153◆2VB8wsVUoo 2017/09/08(金) 14:27:28.96ID:6ibQhXIy

154◆2VB8wsVUoo 2017/09/08(金) 14:27:44.78ID:6ibQhXIy

155◆2VB8wsVUoo 2017/09/08(金) 14:28:05.00ID:6ibQhXIy

156◆2VB8wsVUoo 2017/09/08(金) 14:28:23.09ID:6ibQhXIy

157132人目の素数さん2017/09/08(金) 14:29:09.67ID:R9iTmmpR
証明でこの恒真式(もしくは公理)が出てくるといつも詐欺にあったような気になる。

P→(Q→P)
馬鹿ならば(シリツならば馬鹿である)
馬鹿ならば(裏口ならば馬鹿である)

¬P→(P→Q)
馬鹿でないなら(馬鹿であればシリツである)
馬鹿でないならば(馬鹿であれば裏口である)

Qとして天才とか変態とかを選んでも恒真式、というのは日常言語感覚からは乖離しているな。
ド底辺特殊シリツ医大を最高学府と呼ぶような気持ち悪さを覚える。

158◆2VB8wsVUoo 2017/09/08(金) 14:35:53.30ID:6ibQhXIy

159◆2VB8wsVUoo 2017/09/08(金) 14:36:10.50ID:6ibQhXIy

160◆2VB8wsVUoo 2017/09/08(金) 14:36:28.05ID:6ibQhXIy

161◆2VB8wsVUoo 2017/09/08(金) 14:36:43.61ID:6ibQhXIy

162◆2VB8wsVUoo 2017/09/08(金) 14:36:58.93ID:6ibQhXIy

163◆2VB8wsVUoo 2017/09/08(金) 14:37:14.96ID:6ibQhXIy

164◆2VB8wsVUoo 2017/09/08(金) 14:37:30.50ID:6ibQhXIy

165◆2VB8wsVUoo 2017/09/08(金) 14:37:53.51ID:6ibQhXIy

166◆2VB8wsVUoo 2017/09/08(金) 14:38:24.93ID:6ibQhXIy

167◆2VB8wsVUoo 2017/09/08(金) 14:38:41.14ID:6ibQhXIy

168132人目の素数さん2017/09/08(金) 14:51:58.49ID:q0YfmsRR
耳栓をしたら世界が変わってワロタ

169◆2VB8wsVUoo 2017/09/08(金) 17:10:09.19ID:6ibQhXIy

170◆2VB8wsVUoo 2017/09/08(金) 17:11:13.71ID:6ibQhXIy

171◆2VB8wsVUoo 2017/09/08(金) 17:11:30.22ID:6ibQhXIy

172◆2VB8wsVUoo 2017/09/08(金) 17:11:48.12ID:6ibQhXIy

173◆2VB8wsVUoo 2017/09/08(金) 17:12:05.47ID:6ibQhXIy

174◆2VB8wsVUoo 2017/09/08(金) 17:12:23.02ID:6ibQhXIy

175◆2VB8wsVUoo 2017/09/08(金) 17:12:41.22ID:6ibQhXIy

176◆2VB8wsVUoo 2017/09/08(金) 17:12:59.84ID:6ibQhXIy

177◆2VB8wsVUoo 2017/09/08(金) 17:13:19.29ID:6ibQhXIy

178◆2VB8wsVUoo 2017/09/08(金) 17:13:38.03ID:6ibQhXIy

179132人目の素数さん2017/09/09(土) 12:20:51.73ID:G2DuD1v6
耳栓をしたら世界が変わってワロタ

180◆2VB8wsVUoo 2017/10/24(火) 08:24:40.08ID:n4VIAFJn

181◆2VB8wsVUoo 2017/10/24(火) 08:24:58.28ID:n4VIAFJn

182◆2VB8wsVUoo 2017/10/24(火) 08:25:15.50ID:n4VIAFJn

183◆2VB8wsVUoo 2017/10/24(火) 08:25:31.64ID:n4VIAFJn

184◆2VB8wsVUoo 2017/10/24(火) 08:25:49.57ID:n4VIAFJn

185◆2VB8wsVUoo 2017/10/24(火) 08:26:07.32ID:n4VIAFJn

186◆2VB8wsVUoo 2017/10/24(火) 08:26:26.09ID:n4VIAFJn

187◆2VB8wsVUoo 2017/10/24(火) 08:26:50.38ID:n4VIAFJn

188◆2VB8wsVUoo 2017/10/24(火) 08:27:09.09ID:n4VIAFJn

189◆2VB8wsVUoo 2017/10/24(火) 08:27:29.85ID:n4VIAFJn

190132人目の素数さん2018/04/07(土) 07:01:10.55ID:eG1yamTB
jags4prop <- function(r1,r2,n1,n2,
ROPEdiff=c(-0.025,0.025),ROPErate=c(0.80,1.25),
NNT=FALSE){
library(rjags)
y=c(rep(1,r1),rep(0,n1-r1),rep(1,r2),rep(0,n2-r2))
s=as.numeric(factor(c(rep('D',n1),rep('U',n2))))
a=1 ; b=1 # JAGS prior : beta(a,b)
myData=data.frame(y=y,s=s)
Ntotal = length(y)
Nsubj = length(unique(s))
dataList = list(
y = y ,
s = s ,
Ntotal = Ntotal ,
Nsubj = Nsubj
)
# JAGS model
modelString = paste0("
model {
for ( i in 1:Ntotal ) {
y[i] ~ dbern( theta[s[i]] )
}
for ( sIdx in 1:Nsubj ) {
theta[sIdx] ~ dbeta(", a,',' , b," )
}
}
")
writeLines( modelString , con="TEMPmodel.txt" )
jagsModel = jags.model( file="TEMPmodel.txt" , data=dataList, quiet=TRUE)
update(jagsModel)
codaSamples = coda.samples( jagsModel , variable="theta", n.iter=10000 )
mcmcMat=as.matrix(codaSamples)
risk1=mcmcMat[,1]
risk2=mcmcMat[,2]
x11()
par(mfrow=c(2,2))
BEST::plotPost(risk1,col='gray')
if(NNT){
BEST::plotPost(abs(1/(risk1-risk2)), xlab ='NNT(NNH)',col='pink')}
else{
BEST::plotPost(risk1-risk2,compVal=0,ROPE=ROPEdiff,cex=1,col='pink')
}
BEST::plotPost(risk2,col='gray')
BEST::plotPost(risk1/risk2,compVal=1,ROPE=ROPErate,col='skyblue')
invisible(codaSamples)
}
jags4prop(r1=1,n1=1,r2=0,n2=1,ROPEdiff=NULL,NNT=TRUE)
jags4prop(r1=1,n1=1,r2=0,n2=1,ROPEdiff=NULL)

191132人目の素数さん2018/04/11(水) 11:58:17.41ID:LX0qXOLG
f<- function(d=1,beta=.80,alpha=.05) 2*(abs((qnorm(1-alpha/2))+abs(qnorm(1-beta)))/d)^2
f(5/10)
power.t.test(delta=0.5,power=0.80)$n
# power 50%->80%
dd=seq(0.01,0.99,by=0.01)
g<- function(x) f(x,.50)/f(x,.80)
summary (sapply(dd,g))
(2*(abs(1.96+abs(qnorm(1-0.80))))^2)/(2*(abs(1.96+abs(qnorm(1-0.50))))^2)

(1.96+0.84)^2/(1.96+0)^2

dd=seq(0.01,0.99,by=0.01)
h<-function (x,pow1=0.80,pow2=0.50){
power.t.test(d=x, power=pow1)$n/power.t.test(d=x, power=pow2)$n
}
res=sapply (dd,h)
plot(dd,res)
summary (res)

# power 80%->90%
f(beta=0.90)
f(beta=0.80)
(2*(abs(1.96+abs(qnorm(1-0.90))))^2)/(2*(abs(1.96+abs(qnorm(1-0.80))))^2)
res1=sapply (dd, function (x) h(x,0.90,0.80))
plot (dd,res1)

# power 80%->99%
f(beta=0.99)
f(beta=0.80)
(2*(abs(1.96+abs(qnorm(1-0.99))))^2)/(2*(abs(1.96+abs(qnorm(1-0.80))))^2)
res2=sapply (dd, function (x) h(x,0.99,0.80))
plot (dd,res2)

##
f<- function(d=1,beta=.80,alpha=.05) 2*(abs((qnorm(1-alpha/2))+abs(qnorm(1-beta)))/d)^2
f()
sample.size <- function (d=1,beta=0.80,alpha=0.05){
f<- function(n) 2*((abs(qt(1-alpha/2,n-1))+abs(qt(1-beta,n-1)))/d)^2 - n
uniroot (f, c(3,10000))$root
}
sample.size()
power.t.test(d=1, power=0.80)$n 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

192132人目の素数さん2018/04/19(木) 23:50:23.50ID:GVMUXyX9
慶應義塾学医学部 2051 70
順天堂大学医学部 2090 66
昭和大学医学部 2200 65
東京慈恵会医科大学医学部 2250 69
自治医科大学医学部 2260 66
産業医科大学医学部 2749 65
日本医科大学医学部 2813 66
東京医科大学医学部 2995 64
関西医科大学医学部 3014 65
大阪医科大学医学部 3141 66
東邦大学医学部 3180 62
久留米大学医学部 3237 61
東京女子医科大学医学部 3284 60
日本大学医学部 3310 61
岩手医科大学医学部 3400 60
聖マリアンナ医科大学医学部 3440 58
近畿大学医学部 3580 62
藤田保健衛生大学医学部 3650 60
獨協医科大学医学部 3660 59
帝京大学医学部 3750 59
杏林大学医学部 3755 61
東海大学医学部 3760 61
福岡大学医学部 3770 60
愛知医科大学医学部 3800 59
埼玉医科大学医学部 3800 57
兵庫医科大学医学部 3880 60
北里大学医学部 3890 60
金沢医科大学医学部 3950 58
川崎医科大学医学部 4565 57

dat=read.table("clipboard")
colnames(dat)=c("school","tuition","hensa")
head(dat)

xi=dat$hensa
yi=dat$tuition
re=lm(yi~xi) ; re
beta1.hat=re$coef[1]
beta10=0
n=length(xi)
Sxx=var(xi)*(n-1)
Syy=var(yi)*(n-1)
Sxy=cov(xi,yi)*(n-1)
beta1.hat=Sxy/Sxx
Se=Syy - Sxy^2/Sxx
phie=n-2
Ve=Se/phie
t0=(beta1.hat-beta10)/sqrt(Ve/Sxx) ; t0
curve(dt(x,n-2),-5,5,bty='l')
pt(t0,n-2)

> t0=(beta1.hat-beta10)/sqrt(Ve/Sxx) ; t0
[1] -10.17626
> pt(t0,n-2)
[1] 4.873385e-11

193132人目の素数さん2018/04/27(金) 20:41:28.71ID:uC0CNGcQ
# Lindner Center data on 996 PCI patients analyzed by Kereiakes et al. (2000)

library(MatchLinReg)
data("lindner")
head(lindner)
attach(lindner)
(tbl=table(stent,sixMonthSurvive))
Epi::twoby2(tbl)
formula.stent = stent ~ abcix + height + female + diabetic + acutemi +
ejecfrac + ves1proc - 1
formula.6month = sixMonthSurvive ~ stent+ abcix + height + female + diabetic + acutemi +
ejecfrac + ves1proc - 1
rms::lrm( stent ~ abcix + height + female + diabetic + acutemi +
ejecfrac + ves1proc-1, data=lindner)$stat['C']
ps=re.glm$fitted.values
Y=lindner$sixMonthSurvive
Tr=lindner$stent

# IPWE
weighted.mean(Y,Tr/ps) - weighted.mean(Y,(1-Tr)/(1-ps))

## (Doubly Robust: DR)
dre <- function(data, target, treat, ps, formula) {
n <- nrow(data)
y <- data[target]
z <- data[treat]
data1 <- data[data[treat]==1,]
data0 <- data[data[treat]==0,]
model1 <- lm(formula=formula, data=data1)
model0 <- lm(formula=formula, data=data0)
fitted1 <- predict(model1, data)
fitted0 <- predict(model0, data)
dre1 <- (1/n)*sum(y+((z-ps)/ps)*(y-fitted1))
dre0 <- (1/n)*sum(((1-z)*y)/(1-ps)+(1-(1-z)/(1-ps))*fitted0)
c(treated=dre1,control=dre0,ATE=dre1-dre0)
}

dre(data=lindner,target='sixMonthSurvive',treat='stent', ps=ps, formula=sixMonthSurvive ~ abcix + height
+ female + diabetic + acutemi +ejecfrac + ves1proc -1)

194132人目の素数さん2018/05/03(木) 11:38:00.90ID:Jusm5aoQ
# http://www1.udel.edu/educ/gottfredson/reprints/2009semen.pdf
cor2ci<- function(cor,n,conf.level=0.95){
lower=tanh(atanh(cor) + qnorm((1-conf.level)/2)/sqrt(n-3))
upper=tanh(atanh(cor) - qnorm((1-conf.level)/2)/sqrt(n-3))
data.frame(lower,cor,upper)
}

cor2p <- function(cor,n,alternative='two.sided'){
r=cor
t.stat=r*sqrt(n-2)/sqrt(1-r^2)
if(alternative=='two.sided'){
p.value=pt(-abs(t.stat),n-2)*2
}else{
p.value=pt(-abs(t.stat),n-2)
}
return(p.value)
}
cor2p(0.14,425)
rs=c(conc=0.15,count=0.19,Motility=0.14)
n=425
cor2ci(rs,n)
sapply(rs,function(cor)cor2p(cor,n=425))
#
r2p <- function(r,n){
2*pt(-abs(r)*sqrt(n-2)/sqrt(1-r^2),n-2)
}
# 0.002=r2p(0.15,n)
curve(r2p(rs[1],x),300,600)
abline(h=0.002,lty=3)
uniroot(function(n,p0=0.0015)r2p(rs[1],n)-p0,c(100,1000))$root # 445
uniroot(function(n,p0=0.0020)r2p(rs[1],n)-p0,c(100,1000))$root # 422
uniroot(function(n,p0=0.0025)r2p(rs[1],n)-p0,c(100,1000))$root # 404
r2p(rs[1],425)

# 0.002=r2p(0.14,n)
curve(r2p(rs[3],x),300,600)
abline(h=0.002,lty=3)
uniroot(function(n,p0=0.0015)r2p(rs[3],n)-p0,c(100,1000))$root # 511
uniroot(function(n,p0=0.0020)r2p(rs[3],n)-p0,c(100,1000))$root # 484
uniroot(function(n,p0=0.0025)r2p(rs[3],n)-p0,c(100,1000))$root # 464
r2p(rs[3],425)
r2p(rs[3],c(445,422,404))

r2p(0.19,425)

195132人目の素数さん2018/05/04(金) 20:19:11.93ID:Za4pacSv
noise2sig <− function(seed,sequential=FALSE){
set.seed(seed)
Noise=matrix(rnorm(100*51),ncol=51,nrow=100)
# first pass
lm1=lm(Noise[,51] 〜 Noise[,−51]) # Noise[,51] : 目的変数Y
cat(V\nR2 (1st) = V,summary(lm1)$r.squared)
cat(V\np.value (1st) = V,anova(lm1)$Pr[1])
coefs1=summary(lm1)$coef[,VPr(>|t|)V]
length(coefs1)
coefs1[1]
coeffs1=coefs1[−1]
cat(V\ncoef < 0.25 =V,sum(coeffs1<0.25))
cat(V\ncoef < 0.05 =V,sum(coeffs1<0.05))
indx25=which(coeffs1<0.25)

# second pass
lm2=lm(Noise[,51] 〜 Noise[,indx25])
cat(V\n\nR2 (2nd) = V,summary(lm2)$r.squared)
cat(V\np.value(2nd) = V,anova(lm2)$Pr[1])
coefs2=summary(lm2)$coef[,VPr(>|t|)V]
length(coefs2)
coefs2[1]
coeffs2=coefs2[−1]
cat(V\ncoef < 0.25 (2nd) =V,sum(coeffs2<0.25))
cat(V\ncoef < 0.05 (2nd) =V,sum(coeffs2<0.05))
cat(V\n\nV)
if(sequential){
  cat(VHit Return Key in console windowV)
  no_save <− scan(n=1, what=character(), quiet=TRUE)
 }



noise2sig(1)
for(i in 2:5) noise2sig(i,seq=TRUE)

196132人目の素数さん2018/05/08(火) 13:22:38.87ID:Gebq//ip
> UG
1年度 2年度 3年度 4年度 5年度 6年度
学生1 30 45 42 31 47 35
学生2 42 18 46 42 42 52
学生3 51 39 23 45 44 41
学生4 28 56 26 49 41 33
学生5 51 48 31 48 42 37
学生6 41 58 27 37 38 30
学生7 20 31 42 16 31 29
学生8 45 42 54 55 46 50
学生9 61 35 34 38 47 34
学生10 44 32 23 30 29 56
> mUG=reshape2::melt(UG) ; colnames(mUG)=c('学生','年度','成績')

> Tk=TukeyHSD(aov(成績~学生,mUG))

> p.Tk=Tk[[1]][,'p adj']
> n9=nrow(UG)-1
> mat.Tk=matrix(rep(NA,n9*n9),n9)
> for(k in 1:9) mat.Tk[,k]=c(rep(NA,k-1), p.Tk[((k-1)*(n9+1-k/2)+1):((k-1)*(n9+1-k/2)+1+n9-k)])
> colnames(mat.Tk)=paste0('学生',1:9)
> rownames(mat.Tk)=paste0('学生',2:10)
> d=round(mat.Tk,3)
> d[is.na(d)]='-'
> print(d,quote=FALSE)
学生1 学生2 学生3 学生4 学生5 学生6 学生7 学生8 学生9
学生2 1 - - - - - - - -
学生3 1 1 - - - - - - -
学生4 1 1 1 - - - - - -
学生5 0.998 1 1 0.999 - - - - -
学生6 1 1 1 1 0.999 - - - -
学生7 0.742 0.513 0.493 0.687 0.257 0.724 - - -
学生8 0.724 0.9 0.911 0.776 0.989 0.742 0.023 - -
学生9 1 1 1 1 1 1 0.383 0.958 -
学生10 1 0.998 0.997 1 0.958 1 0.945 0.418 0.989
>

197132人目の素数さん2018/07/22(日) 11:22:57.29ID:Ott8rTSz
> REDWHITECOLOR(perm[indx,])
RED = 5 8 7 WHITE = 3 9 6 1 8 COLOR = 4 0 2 0 5

198132人目の素数さん2018/07/22(日) 11:43:12.65ID:Ott8rTSz
# ド底辺+シリツ=裏口馬鹿

x=LETTERS[1:10]
uraguchi <- function(A,B,C,D,E,F,G,H,I,J){
doteihen=10^(2:0)
siritsu=10^(2:0)
uraguchibaka=10^(3:0)
sum(doteihen*c(A,B,C))+sum(siritsu*c(D,E,F))-sum(uraguchibaka*c(G,H,I,J))
}
x=unique(x)
URAGUCHI <- function(x){
A=x[1]
B=x[2]
C=x[3]
D=x[4]
E=x[5]
F=x[6]
G=x[7]
H=x[8]
I=x[9]
J=x[10]

cat(paste('ド底辺 = ',A,B,C,
' シリツ = ',D,E,F,
' 裏口馬鹿 = ',G,H,I,J),'\n')
}
URAGUCHI(unique(x))

library(gtools)
perm=permutations(n=10,r=10,v=0:9)
perm=perm[perm[,1]!=0&perm[,4]!=0&perm[,7]!=0,] # A!=0,D!=0,G!=0
head(perm) ; tail(perm)
n=nrow(perm)
re=numeric(n)
for(i in 1:n){
re[i]=uraguchi(perm[i,1],perm[i,2],perm[i,3],perm[i,4],perm[i,5],perm[i,6],perm[i,7],perm[i,8],perm[i,9],perm[i,10])
}
hist(re)
indx=which(re==0)
(n.indx=length(indx))
for(i in 1:n.indx) URAGUCHI(perm[indx[i],])

199132人目の素数さん2018/07/22(日) 15:29:39.25ID:Ott8rTSz
/*
  底辺私立
 ×   5
------------
  裏口馬鹿
各々の漢字は1〜8までの数字を表します。
同じ数字は使われません。
底辺私立・裏口馬鹿に数字をいれて筆算を2通り完成させてください。
*/

#include<stdio.h>
int compare_int(const void *a, const void *b){
return *(int*)a - *(int*)b;
}
int unique(int num[]){
int i,j,n=8;
qsort(num,n,sizeof(int),compare_int);
for(i=0;i<n;i++){
for(j=0;j<i;j++){
if(num[j]==num[j+1]){
return 0;
}}}
return 1;
}
main(){
int A,B,C,D,E,F,G,H;
for(A = 1; A < 9; A++){
for(B = 1; B < 9; B++){
for(C = 1; C < 9; C++){
for(D = 1; D < 9; D++){
for(E = 1; E < 9; E++){
for(F = 1; F < 9; F++){
for(G = 1; G < 9; G++){
for(H = 1; H < 9; H++){
if((A*1000+B*100+C*10+D)*5==E*1000+F*100+G*10+H){
int num[]={A,B,C,D,E,F,G,H};
if(unique(num)==1){
printf("底辺私立 = %2d%2d%2d%2d 裏口馬鹿 = %2d%2d%2d%2d\n", A,B,C,E,F,G,H);
}}
}}} }}} }}
}

200132人目の素数さん2018/07/31(火) 12:09:36.10ID:AXaAgLMZ
attack <- function(x){ # TRUE if on attack
n=length(x)
for(i in 1:(n-1)){
for(j in 1:(n-i)){
if(x[i+j]==x[i]+j | x[i+j]==x[i]-j) return(TRUE)
}
}
return(FALSE)
}

N_Queen<-function(n){
perm=gtools::permutations(n,n)
ret=apply(perm,1,attack)
perm[which(ret==FALSE),]
}

N_Queen(8)

201132人目の素数さん2018/07/31(火) 12:11:17.41ID:AXaAgLMZ
rot <- function(row,col,n=8){ # position after 90 degree rotation
c(col,n-row+1)
}
rota <- function(x){ # 90 degree rotation
n=length(x)
re=numeric(n)
for(i in 1:n){
tmp=rot(i,x[i],n)
re[tmp[1]]=tmp[2]
}
re
}

# ratete 90 degree four times
rotate <- function(x){
r1=rota(x)
r2=rota(r1)
r3=rota(r2)
rx=rbind(x,r1,r2,r3)
rownames(rx)=NULL
return(rx)
}

b2v <- function(x){
ret=unique.matrix(rbind(x,rotate(x),rotate(rev(x))))
rownames(ret)=NULL
ret
}

is.var <- function(x,y){ # x: base, y : variation of x ?
v=b2v(x)
nv=nrow(v)
for(i in 1:nv){
if(all(v[i,]==y)) return(TRUE)
}
return(FALSE)
}

uniQ <- function(M){ # check firt row vs the others
n=nrow(M)
uniq=numeric(n)
for(i in 1:n){
uniq[i]=!is.var(M[1,],M[i,]) # is no variant?
}
M=rbind(M[which(uniq==1),],M[1,]) # append 1st row at last
return(M) # not the final answer
}
M=N_Queen(9)
while(nrow(M)!=nrow(uniQ(M))){
M=uniQ(M)
}
M

202132人目の素数さん2018/07/31(火) 13:30:25.25ID:AXaAgLMZ
basic_Queen <- function(N){
M=m=N_Queen(N)
while(nrow(M)!=nrow(uniQ(M))) M=uniQ(M)
return(list(variant=m,basic=M))
}

basic_Queen(5)

drawQ <- function(n){#
M=basic_Queen(n)$basic
nr=nrow(M)
for(i in 1:nr){
cat('(',i,')\n')
for(j in 1:n){
cat(rep('_',M[i,j]-1),'●',rep('_',n-M[i,j]),'\n')
}
cat('\n')
}
}
drawQ(5)
drawQ(6)
drawQ(8)

203132人目の素数さん2018/08/07(火) 11:36:28.79ID:JOZRDgmj
/* ウカウカ+ウサギ+ノソノソ+カメ+キヨウソウ=ウサギトカメ */
#include<stdio.h>
int compare_int(const void *a, const void *b){
return *(int*)a - *(int*)b;
}
int unique(int num[]){
int i,j,n=10;
qsort(num,n,sizeof(int),compare_int);
for(i=0;i<n;i++){
for(j=0;j<i;j++){
if(num[j]==num[j+1]){
return 0;
}}}
return 1;
}
main(){
int u,ka,sa,gi,no,so,me,ki,yo,to;
for(u = 1; u < 10; u++){
for(ka = 1; ka < 10; ka++){
for(sa = 0; sa < 10; sa++){
for(gi = 0; gi < 10; gi++){
for(no = 1; no < 10; no++){
for(so = 0; so < 10; so++){
for(me = 0; me < 10; me++){
for(ki = 1; ki < 10; ki++){
for(yo = 0; yo < 10; yo++){
for(to = 0; to < 10; to++){
/* ウカウカ+ウサギ+ノソノソ+カメ+キヨウソウ=ウサギトカメ */
if(u*1000+ka*100+u*10+ka +u*100+sa*10+gi +no*1000+so*100+no*10+so +ka*10+me +ki*10000+yo*1000+u*100+so*10+u == u*100000+sa*10000+gi*1000+to*100+ka*10+me){
int num[]={u,ka,sa,gi,no,so,me,ki,yo,to};
if(unique(num)==1){
printf("%d%d%d%d + %d%d%d + %d%d%d%d + %d%d + %d%d%d%d%d = %d%d%d%d%d%d\n",u,ka,u,ka,u,sa,gi,no,so,no,so,ka,me,ki,yo,u,so,u,u,sa,gi,to,ka,me);
}}
}}}}}}}}}}
} 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)

204132人目の素数さん2018/08/10(金) 12:25:59.56ID:lOg+llmH
# 7個の a と3個の b を一列に並べてできる順列のうち
# 次の簡約律のもとで文字を消していくと最終的に何も残らなくなる順列は何通りありますか。
# ・aa が現れると消える。
# ・bb が現れると消える。
# ・ababab が現れると消える。
# ・bababa が現れると消える。

# all permutation
reperm <- function(n, r, v) {
# if(n!=length(v) | n < r) return('ERROR')
if(r==1) return(matrix(v))
else {
re <- NULL
for(i in 1:n) re=rbind(re, cbind(v[i], reperm(n-1,r-1,v[-i])))
return(unique(re))
}
}
perm=reperm(n=10,r=10,v=c(rep(0,7),rep(1,3)))

# ababab|bababa
rm_ababab <- function(v){
if(length(v)<6) return(v)
for(i in 1:5)
if(all(v[i:(i+5)]==c(0,1,0,1,0,1))|all(v[i:(i+5)]==c(1,0,1,0,1,0))){
return(v[-i:-(i+5)])
}
return(v)
}

# aa|bb
rm_aa <- function(v){ # remove 1st two aa or bb
if(length(v)<2) return(v)
n=length(v)
for(i in 1:(n-1))
if(all(v[i:(i+1)]==c(0,0))|all(v[i:(i+1)]==c(1,1))){
return(v[-i:-(i+1)])
}
return(v)
}

rm_aaR <- function(v){ # recursively remove aa or bb while checking abababa or bababa
if(length(v)==6){
if(all(v==c(1,0,1,0,1,0))|all(v==c(0,1,0,1,0,1))) return(c(0,0))
}
if(length(v)==2) return(v)
else{
v1=rm_aa(v)
Recall(v1)
}
}

res=apply(perm,1,rm_aaR)
res=t(res)
sum(res[,1]==0 & res[,2]==0)
idx=which(res[,1]==0 & res[,2]==0)
perm[idx,]

205132人目の素数さん2018/08/10(金) 15:19:15.44ID:Hlm8Oe3x
combnを使って改訂
# all permutations
ones=t(combn(10,3))
indx2ten <- function(x){
y=numeric(10)
y[x[1]]=1
y[x[2]]=1
y[x[3]]=1
return(y)
}
perm=NULL
for(i in 1:nrow(ones)) perm=rbind(perm,indx2ten(ones[i,]))
# ababab|bababa
rm_ababab <- function(v){
if(length(v)<6) return(v)
for(i in 1:5)
if(all(v[i:(i+5)]==c(0,1,0,1,0,1))|all(v[i:(i+5)]==c(1,0,1,0,1,0))){
return(v[-i:-(i+5)])
}
return(v)
}

# aa|bb
rm_aa <- function(v){ # remove 1st two aa or bb
if(length(v)<2) return(v)
n=length(v)
for(i in 1:(n-1))
if(all(v[i:(i+1)]==c(0,0))|all(v[i:(i+1)]==c(1,1))){
return(v[-i:-(i+1)])
}
return(v)
}
rm_aaR <- function(v){ # recursively remove aa or bb while checking abababa or bababa
if(length(v)==6){
if(all(v==c(1,0,1,0,1,0))|all(v==c(0,1,0,1,0,1))) return(c(0,0))
}
if(length(v)==2) return(v)
else{
v1=rm_aa(v)
Recall(v1)
}
}
res=apply(perm,1,rm_aaR)
res=t(res)
sum(res[,1]==0 & res[,2]==0)
idx=which(res[,1]==0 & res[,2]==0)
Ans=perm[idx,]
AB=Ans+1
rownames(AB)=NULL
.ab=c('a','b')
indx2char <- function(x,ab=.ab){
n=length(x)
re=NULL
for(i in 1:n) re[i]=ab[x[i]]
re
}
print(t(apply(AB,1,indx2char)),quote = FALSE)

206132人目の素数さん2018/09/04(火) 13:44:16.80ID:mJ0F6GVN
A:安倍が死ぬ
B:日本は幸せ

A∧(A→B))

A∧(¬A∨B)

¬(A∧¬A)

B

207132人目の素数さん2018/09/11(火) 13:59:25.72ID:KvhdapkQ
Gacha.fm <- function(p,write=FALSE){
n=length(p)
par=letters[1:n]
fm <- function(v){
nv=length(v)
re=character(nv)
for(j in 1:nv) re[j]=par[v[j]]
s=paste(re,collapse='+')
if(nv==1) paste0('1/',s)
else paste0('1/(',s,')')
}
fm1 <- function(mat){
paste(apply(mat,2,fm),collapse='+')
}
re=list()
for(i in 1:n) re[[i]]=fm1(combn(n,i))
re1=re[[1]]
for(i in 2:(n-1)){
re1=c(re1,ifelse(i%%2,' + ',' - '),'{',re[[i]],'}')
}
output=paste(paste(re1,collapse=""),ifelse(n%%2,'+','-'), re[[n]])
cat(output,'\n')
if(write) write(output,'output.txt')
invisible(output)
}

208132人目の素数さん2018/10/26(金) 16:44:10.02ID:Jik/lAlw
jags4prop <- function(r1,r2,n1,n2,
ROPEdiff=c(-0.025,0.025),ROPErate=c(0.80,1.25),
NNT=FALSE){
library(rjags)
y=c(rep(1,r1),rep(0,n1-r1),rep(1,r2),rep(0,n2-r2))
s=as.numeric(factor(c(rep('D',n1),rep('U',n2))))
a=1 ; b=1 # JAGS prior : beta(a,b)
myData=data.frame(y=y,s=s)
Ntotal = length(y)
Nsubj = length(unique(s))
dataList = list(
y = y ,
s = s ,
Ntotal = Ntotal ,
Nsubj = Nsubj
)
# JAGS model
modelString = paste0("
model {
for ( i in 1:Ntotal ) {
y[i] ~ dbern( theta[s[i]] )
}
for ( sIdx in 1:Nsubj ) {
theta[sIdx] ~ dbeta(", a,',' , b," )
}
}
")
writeLines( modelString , con="TEMPmodel.txt" )
jagsModel = jags.model( file="TEMPmodel.txt" , data=dataList, quiet=TRUE)
update(jagsModel)
codaSamples = coda.samples( jagsModel , variable="theta", n.iter=10000 )
mcmcMat=as.matrix(codaSamples)
rate1=mcmcMat[,1]
rate2=mcmcMat[,2]
x11()
par(mfrow=c(2,2))
BEST::plotPost(rate1,col='gray')
if(NNT){
BEST::plotPost(abs(1/(rate1-rate2)), xlab ='NNT(NNH)',col='pink')}
else{
BEST::plotPost(rate1-rate2,compVal=0,ROPE=ROPEdiff,cex=1,col='pink')
}
BEST::plotPost(rate2,col='gray')
BEST::plotPost(rate1/rate2,compVal=1,ROPE=ROPErate,col='skyblue')
invisible(codaSamples)
}

jags4prop(50,19,133,113)

209132人目の素数さん2018/10/30(火) 00:30:28.16ID:TZqGbv4d
--コンパイルしてコマンドラインから実行できるように改変(但し、エラー処理皆無)

import System.Environment
import Data.List
import Data.List.Split

combinations :: Int -> [a] -> [[a]]
combinations 0 _ = [ [] ]
combinations n xs = [ y:ys | y:xs' <- tails xs, ys <- combinations (n-1) xs']

main = do
argList <- getArgs -- m : 縦マス(短軸) n : 横マス(長軸) k : 宝の数
let m = read (argList !! 0)
n = read (argList !! 1)
k = read (argList !! 2)
q = [0..m*n-1]
matQ = chunksOf n q
matP = transpose matQ --行列を転置して
p = concat matP -- 配列に変換
treasure = combinations k q -- 宝の組み合わせ
ip y = minimum $ map(\x -> elemIndices x p!!0) y -- 宝の、配列pでのindex列を求めて最小値を返す
iq y = minimum $ map(\x -> elemIndices x q!!0) y
idxp = map ip treasure -- 宝の組み合せで実行して
idxq = map iq treasure
p_q = zipWith (-) idxp idxq -- 差をとって大小判別
p1st = length $ filter (<0) p_q -- 短軸方向探索pが先に宝をみつける
q1st = length $ filter (>0) p_q
draw = length $ filter (==0) p_q
putStrLn $ "p1st = " ++ show p1st ++ ", q1st = " ++ show q1st ++ ", draw = " ++ show draw

210132人目の素数さん2018/11/09(金) 20:08:31.89ID:5AnUTlVm
pdf2hdi <- function(pdf,xMIN=0,xMAX=1,cred=0.95){
nxx=1001
xx=seq(xMIN,xMAX,length=nxx)
xx=xx[-nxx]
xx=xx[-1]
xmin=xx[1]
xmax=xx[nxx-2]
AUC=integrate(pdf,xmin,xmax)$value
PDF=function(x)pdf(x)/AUC
cdf <- function(x) integrate(PDF,xmin,x)$value
ICDF <- function(x) uniroot(function(y) cdf(y)-x,c(xmin,xmax))$root
hdi=HDInterval::hdi(ICDF,credMass=cred)
print(c(hdi[1],hdi[2]),digits=5)
invisible(ICDF)
}

# N個のクジでr個めで初めてあたった時のN個内の当たり数の推測
Atari <- function(N,r){
pmf <- function(x) ifelse(x>N-r+1,0,(1-x/N)^(r-1)*x/N) # dnbinom(r-1,1,x/N) ; dgeom(r-1,x/N)
# curve((1-x/N)^(r-1)*x/N,0,N)
AUC=integrate(pmf,0,N)$value
pdf <- function(x) pmf(x)/AUC
mode=optimise(pdf,c(0,N),maximum=TRUE)$maximum
mean=integrate(function(x)x*pdf(x),0,N)$value
cdf <- function(x) integrate(pdf,0,x)$value
median=uniroot(function(x)cdf(x)-0.5,c(0,N))$root
print(c(mode=mode,median=median,mean=mean))
pdf2hdi(pdf,0,N,cred=0.95)
}
Atari(100,3)

# 全体N個中当たりS個、1個ずつ籤を引いて当たったらやめる.
# r個めが初めて当たりであったときSの信頼区間を推定するシミュレーション。

atari <- function(N,r,k=1e3){ # k: simlation times
f <- function(S,n=N){which.max(sample(c(rep(1,S),rep(0,n-S))))}
vf=Vectorize(f)
sim=replicate(k,vf(1:(N-r)))
s=which(sim==r)%%(N-r)
s[which(s==0)]=N-r
hist(s,freq=T,col='skyblue')
print(quantile(s,c(.025,.05,.50,.95,.975)))
print(HDInterval::hdi(s))
}
atari(100,3,1e3)

211132人目の素数さん2018/11/11(日) 20:15:20.63ID:ODPKEEGK
from fractions import Fraction

def seq_dice(N,k,p=1/2):
P=list()
for n in range(k-1):
P.append(0)
P.append(p**k)
P.append(p**k + (1-p)*p**k)
for n in range (k,N):
P.append(P[n]+(1-P[n-k])*p**(k+1))
return(P[N])

def seq_diceJ(N,k,p=1/2):
return(seq_dice(N,k,p) - seq_dice(N,k+1,p))


def dice(N,k,p=1/2):
print("Over " + str(k))
print(Fraction(seq_dice(N,k,p)))
print(" = " + str(seq_dice(N,k,p)))
print("Just " + str(k))
print(Fraction(seq_diceJ(N,k,p)))
print(" = " + str(seq_diceJ(N,k,p)))


dice(100000000,25)

212132人目の素数さん2018/11/11(日) 20:27:20.16ID:ODPKEEGK
Over 25
6977459029519597/9007199254740992
= 0.7746535667951356
Just 25
2246038053550679/9007199254740992
= 0.24936031612362342

213132人目の素数さん2018/11/11(日) 20:27:38.50ID:ODPKEEGK
seqNp <- function(N=100,K=5,p=0.5){
if(p==0) return(0)
if(N==K) return(p^K)
q=1-p
a=numeric(N) # a(n)=P0(n)/p^n , P0(n)=a(n)*p^n
for(i in 1:K) a[i]=q/p^i # P0(i)=q
for(i in K:(N-1)){ # recursive formula
a[i+1]=0
for(j in 0:(K-1)){
a[i+1]=(a[i+1]+a[i-j])
}
a[i+1]=q/p*a[i+1]
}
P0=numeric(N)
for(i in 1:N) P0[i]=a[i]*p^i # P0(n)=a(n)*p^n
MP=matrix(rep(NA,N*K),ncol=K)
colnames(MP)=paste0('P',0:(K-1))
MP[,'P0']=P0
MP[1,'P1']=p
for(i in (K-2):K) MP[1,i]=0
for(k in 2:K){
for(i in 1:(N-1)) MP[i+1,k]=p*MP[i,k-1]
} # Pk(n+1)=p*P(k-1)(n)
ret=1-apply(MP,1,sum)
ret[N]
}

seqNpJ <- function(N,K,p) seqNp(N,K,p)-seqNp(N,K+1,p)
seqNpJ(100,5,0.5)

214132人目の素数さん2018/11/11(日) 20:28:04.68ID:ODPKEEGK
seq2pCI <- function(N,K,alpha=0.05,Print=T){
vp=Vectorize(function(p)seqNp(N,K,p)-seqNp(N,K+1,p))
if(Print){curve(vp(x),lwd=2,bty='l',xlab='Pr[head]',ylab=paste('Pr[max',K,'-head repetition]'))
abline(h=alpha,lty=3)}
peak=optimize(vp,c(0,1),maximum=TRUE)$maximum
mean=integrate(function(x)x*vp(x),0,1)$value/integrate(function(x)vp(x),0,1)$value
lwr=uniroot(function(x,u0=alpha) vp(x)-u0,c(0.01,peak))$root
upr=uniroot(function(x,u0=alpha) vp(x)-u0,c(peak,0.99))$root
c(lower=lwr,mean=mean,mode=peak,upper=upr)
}
seq2pCI(100,5,0.05,T) # pmfからの計算で正しいか?

vs=Vectorize(function(K)seq2pCI(N=100,K,alpha=0.05,Print=F))
x=2:23
y=vs(x)
head(y)
y=y*100
plot(x,y['mean',],bty='l',pch=19,ylim=c(0,100),
xlab="最大連続数",ylab="推定裏口入学者数")
points(2:23,y['mode',],bty='l')
segments(x,y['lower',],x,y['upper',])
legend('right',bty='n',pch=c(19,1),legend=c("期待値","最頻値"))

215132人目の素数さん2018/11/11(日) 20:29:05.25ID:ODPKEEGK
# pdfからcdfの逆関数を作ってhdiを表示させて逆関数を返す
# 0,1での演算を回避 ∫[1/nxxx,1-1/nxx]dxで計算
pdf2HDI <- function(pdf,xMIN=0,xMAX=1,cred=0.95,nxx=1001){
xx=seq(xMIN,xMAX,length=nxx)
xx=xx[-nxx]
xx=xx[-1]
xmin=xx[1]
xmax=xx[nxx-2]
AUC=integrate(pdf,xmin,xmax)$value
PDF=function(x)pdf(x)/AUC
cdf <- function(x) integrate(PDF,xmin,x)$value
ICDF <- function(x) uniroot(function(y) cdf(y)-x,c(xmin,xmax))$root
hdi=HDInterval::hdi(ICDF,credMass=cred)
c(hdi[1],hdi[2])
}

# N試行で最大K回連続成功→成功確率pの期待値、最頻値と95%HDI
# max K out of N-trial to probability & CI
mKoN2pCI <- function(N=100 , K=4 , conf.level=0.95){
pmf=Vectorize(function(p)seqNp(N,K,p)-seqNp(N,K+1,p))
mode=optimize(pmf,c(0,1),maximum=TRUE)$maximum
auc=integrate(pmf,0,1)$value
pdf=function(x) pmf(x)/auc
mean=integrate(function(x)x*pdf(x),0,1)$value
curve(pdf(x),lwd=3,bty='l',xlab='Pr[head]',ylab='density')
lu=pdf2HDI(pdf,cred=conf.level)
curve(pdf(x),lu[1],lu[2],type='h',col='lightblue',add=T)
c(lu[1],mean=mean,mode=mode,lu[2])
}
mKoN2pCI(100,4) # one minute plz
mKoN2pCI(100,5)

216132人目の素数さん2018/11/11(日) 20:29:23.48ID:ODPKEEGK
# N試行で最大K回連続成功→成功確率pの期待値、最頻値と95% Quantile
# max K out of N-trial to probability & CI_quantile
mKoN2pCIq <- function(N=100 , K=4 , alpha=0.05){
pmf=Vectorize(function(p)seqNp(N,K,p)-seqNp(N,K+1,p))
mode=optimize(pmf,c(0,1),maximum=TRUE)$maximum
auc=integrate(pmf,0,1)$value
pdf=function(x) pmf(x)/auc
curve(pdf(x),bty='l')
mean=integrate(function(x)x*pdf(x),0,1)$value
cdf=function(x) MASS::area(pdf,0,x)
vcdf=Vectorize(cdf)
lwr=uniroot(function(x)vcdf(x)-alpha/2,c(0,mode))$root
upr=uniroot(function(x)vcdf(x)-(1-alpha/2),c(mode,1))$root
c(lower=lwr,mean=mean,mode=mode,upper=upr)
}
mKoN2pCIq(100,4)
mKoN2pCIq(100,5)

## simulation
mKoN2pCIga<-function(N=100,K=4,Print=T){
pmf=Vectorize(function(p)seqNp(N,K,p)-seqNp(N,K+1,p))
auc=integrate(pmf,0,1)$value
pdf=function(x) pmf(x)/auc
(mode=optimize(pmf,c(0,1),maximum=TRUE)$maximum)
(mean=integrate(function(x)x*pdf(x),0,1)$value)
(var=integrate(function(x)(x-mean)^2*pdf(x),0,1)$value)
(sd=sqrt(var))
#正規分布で近似してみる
if(Print){
curve(pdf,bty='l',col='red')
curve(dnorm(x,mean,sd),add=T,col='blue')}
c(lower=qnorm(0.025,mean,sd),mode=mode,mean=mean,upper=qnorm(0.975,mean,sd))
}
mKoN2pCIga(100,5)
vmK=Vectorize(function(K) mKoN2pCIga(100,K))
(y=cbind(0,vmK(2:30)))
plot(1:30,y['mean',],pch=19)
points(1:30,y['mode',])

217132人目の素数さん2018/11/11(日) 20:30:07.92ID:ODPKEEGK
# random numbers following PDF by John von Neuman's method
vonNeumann <- function(PDF,xmin=0,xmax=1,N=10000,Print=TRUE,...){
xx=seq(xmin,xmax,length=N+1)
ymax=max(PDF(xx))
Ux=runif(N,xmin,xmax)
Uy=runif(N,0,ymax)
Rand=Ux[which(Uy<=PDF(Ux))]
if(Print){
hist(Rand,xlim=c(xmin,xmax),freq=FALSE,col=sample(colors(),1),main='',...)
AUC=integrate(PDF,xmin,xmax)$value
lines(xx,sapply(xx,function(x)PDF(x)/AUC))
}
hdi=HDInterval::hdi(Rand)
print(c(hdi[1],hdi[2]),digits=4)
invisible(Rand)
}

vonNeumann2 <- function(PDF,xmin=0,xmax=1,N=10000,Print=TRUE,...){
xx=seq(xmin,xmax,length=N+1)
xx=xx[-(N+1)]
xx=xx[-1]
ymax=max(PDF(xx))
Ux=runif(N,xmin,xmax)
Uy=runif(N,0,ymax)
Rand=Ux[which(Uy<=PDF(Ux))]
if(Print){
hist(Rand,xlim=c(xmin,xmax),freq=FALSE,col=sample(colors(),1),main='',...)
AUC=integrate(PDF,xmin,xmax)$value
lines(xx,sapply(xx,function(x)PDF(x)/AUC))
}
hdi=HDInterval::hdi(Rand)
print(c(hdi[1],hdi[2]),digits=5)
invisible(Rand)
}

218132人目の素数さん2018/11/12(月) 14:19:30.16ID:boi8bvdM
seq_dice <- function(N=100,k=5,p=1/2){
P=numeric(N)
for(n in 1:(k-1)){
P[n]=0
}
P[k]=p^k
P[k+1]=p^k+(1-p)*p^k
for(n in (k+1):(N-1)){
P[n+1] = P[n] + (1-P[n-k])* p^(k+1)
}
return(P[N])
}
seq_dice()

seq_diceJ <- function(N=100,k=5,p=1/2){ # Just k sequence
seq_dice(N,k,p)-seq_dice(N,k+1,p)
}
seq_diceJ()
seq_diceJ(100,5,1/2)
seq_diceJ(1000000,18,1/2)
#
vsdJ=Vectorize(seq_diceJ)
N=1e5
kk=1:30
p=0.5
y=vsdJ(N,kk,0.5)
which.max(y) # 1e2:5 1e3:9 1e4:12 1e5:15 1e6:18 1e7:22 1e8:25
plot(kk,y,bty='l',pch=19,xlab='sequence',ylab='probability')
cbind(kk,y)
max(y)

Nd2mps <- function(N){ # N dice to most probable sequence
vsdJ=Vectorize(seq_diceJ)
k=min(N/2,30)
kk=1:min(k)
y=vsdJ(N,kk,0.5)
# c(seq=which.max(y),prob=max(y))
return(which.max(y))
}
Nd2mps(777)
vN2s=Vectorize(Nd2mps)
nn=seq(200,600,by=1)
y=vN2s(nn)
range(nn[y==7])
plot(nn,y,bty='l')

219132人目の素数さん2018/11/20(火) 12:14:23.98ID:cFR1wwH3
abura <- function(Amax=10,Bmax=7,Cmax=3,a=10,b=0,c=0,A=5,B=5,C=0){
# http://tpcg.io/rvz4qS
# Amax=10 ; Bmax=7 ; Cmax=3 # capacity
# t0 = c(10,0,0) # initial state
# goal = c(5,5,0) # goal
t0=c(a,b,c)
goal=c(A,B,C)

.stack <<- t(as.matrix(t0)) # stack (converted to one row matrix)
.checked <<- .stack # checked list

# pouring methods
a2b <- function(abc){ # pour from A to B
a=abc[1];b=abc[2];c=abc[3]
if(a+b > Bmax) c(a+b-Bmax,Bmax,c)
else c(0, a+b, c)
}

a2c <- function(abc){
a=abc[1];b=abc[2];c=abc[3]
if(a+c > Cmax) c(a+c-Cmax, b, Cmax)
else c(0, b, a+c)
}

b2c <- function(abc){
a=abc[1];b=abc[2];c=abc[3]
if(b+c > Cmax) c(a, b+c-Cmax,Cmax)
else c(a, 0, b+c)
}

b2a <- function(abc){
a=abc[1];b=abc[2];c=abc[3]
if(b+a > Amax) c(Amax, b+a-Amax,c)
else c(b+a, 0, c)
}

c2a <- function(abc){
a=abc[1];b=abc[2];c=abc[3]
if(c+a > Amax) c(Amax, b, c+a-Amax)
else c(c+a, b, 0)
}

c2b <- function(abc){
a=abc[1];b=abc[2];c=abc[3]
if(c+b > Bmax) c(a, Bmax, c+b-Bmax)
else c(a, c+b, 0)
}

actions = c(a2b,a2c,b2c,c2a,c2a,c2b) # all pouring method

220132人目の素数さん2018/11/20(火) 12:14:40.41ID:cFR1wwH3
is.rim <- function(row,matrix){ # is row in matrix?
any(apply(matrix,1,function(x) all(x==row))) # comparble to %in%
}

is.goal <- function(x){ # goal reached?
all(x==goal)
}

pop <- function(){ # pop LIFO
if(is.null(.stack)) return()
LIFO=.stack[1,]
if(nrow(.stack)==1) .stack <<- NULL
else .stack <<- .stack[-1,] # changed GLOBALLY
return(LIFO)
}

push <- function(rows){ # push rows at head of stack
if(is.null(rows)) invisible(NULL) # no NULL show
else .stack <<- rbind(rows , .stack) # changed GLOBELY
}

transfer <- function(x){ # return unchekcked transferred state
re=NULL
for(fun in actions){ # try all methods
v=fun(x) # drop checked state and itself
if(!is.rim(v,.checked) & !all(v==x)) re=rbind(re,fun(x))
}
uni.re=unique(re) # delete duplicated
.checked <<- rbind(uni.re,.checked) # add to .checked GLOBELY
return(uni.re)
}

state=NULL
while(!is.goal(.stack[1,])){
push(transfer(pop()))
state=rbind(state,.stack[1,])
}
return(state)
}

221132人目の素数さん2019/02/01(金) 06:46:20.51ID:mFGETGoH
    / /    ,, ―― 、
    / /    .|;::::  ::::|
⊂二(⌒)二二二|;::::  ::::|⊃ /', ', ¨
     ,.・,-:'ヾ|!|!,i,,!;,,,!l,・∵・,   ゴーン !!
      ::::::”从;i,i:;'/从‘,:::::::::
    ../::::::==       `-::::::::ヽ
     |:::::::/.,,,=≡,  ,≡=、l::::::l
     i::::::l  .,/゚\三/゚\ l:::::!
     .|:::|  :⌒ ノ.. i\: ⌒ |:::i
     (6″   ,ィ____.i i   i:/
     ヽ  u  /  l  .i   i    ぎゃああ
      ヽ_ ノ `トェェェイヽ、 _/     イクぅうう〜
       ヽ、ヽ  | |ー'´/   '    
        `"ーU−´ノ  "' ・
  ∴  " ' " _i;i____  ,  ' スポッ
 ": "  ヾ ./ 从  人  ´:   ": "
      _人__ノ ヽ\__
     |            \
      .|   i u        |
      |  |        |  |
      {  \      |  |
     ,/ \  \___    |  |    ゙ ピュツ  ゚
    /    \   ヽ-┐   ┐,-=,, ゚。      _,,,,,.....,,,
    /      \    (  ̄U \_..ノ. .・――-==-=::::..... ...)
    /  u   / LLLL-nnnn-=    。        ̄`'
   /     /(:,,,.人.,,.)    \
  /    /     \     〉

222132人目の素数さん2019/02/08(金) 16:28:25.29ID:GgpQlK19
「阿部が死ぬ」の否定は「阿部は死なない」でしょ。
決して「阿部が死んでいない」ではないよ。

223132人目の素数さん2019/02/25(月) 04:12:05.42ID:gfWviUQ4
   /::::::::==   -  ~ `-::::::ヽ
   |:::::::/ _,=ノ ヽ =~、 l:::::i
   i::::::l  ノ(。 )三( ゚ )u :::!    \  ヽ/  __  _|_
   |:::|  ⌒ ノ/  i丶⌒ |::i    ̄ヽ ∠ーー    ヽ ―|―
   (::|     ィ___)   )     __ノ  (_  _ノ \_
    ヽ  u /::::/::::ノ  /       ___     ___
     ヽ ノ::|エlエI::ヽ _ノ        /|ヽ        |
 .___人  `:〜:´ 人__    / .| \     | .| ̄
/    /  ` "―´´ \   \     |      _|___|__
|     > \▼ /  く    \
| \   \  ヽ◆/ /_つ/ ̄ヽ
|   \     // /<  ___)( ニニ)

224低学歴脱糞老女・清水婆婆の連絡先:葛飾区青戸6−23−192019/03/03(日) 09:56:08.86ID:KV/cokeJ
【超悪質!盗聴盗撮・つきまとい嫌がらせ犯罪者の実名と住所を公開】
@井口・千明(東京都葛飾区青戸6−23−16)
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在/犯罪組織の一員で様々な犯罪行為に手を染めている
 低学歴で醜いほどの学歴コンプレックスの塊/超変態で食糞愛好家である/醜悪で不気味な顔つきが特徴的である
A宇野壽倫(東京都葛飾区青戸6−23−21ハイツニュー青戸202)
※色黒で醜く太っている醜悪黒豚宇野壽倫/低学歴で人間性が醜いだけでなく今後の人生でもう二度と女とセックスをすることができないほど容姿が醜悪である
B色川高志(東京都葛飾区青戸6−23−21ハイツニュー青戸103)
※色川高志はyoutubeの視聴回数を勝手に短時間に何百何千時には何万回と増やしたり高評価・低評価の数字を一人でいくつも増やしたり減らしたりなどの
 youtubeの正常な運営を脅かし信頼性を損なわせるような犯罪的業務妨害行為を行っています
※色川高志は現在、生活保護を不正に受給している犯罪者です/どんどん警察や役所に通報・密告してやってください

【通報先】
◎葛飾区福祉事務所(西生活課)
〒124−8555
東京都葛飾区立石5−13−1
рO3−3695−1111

C清水(東京都葛飾区青戸6−23−19)
※低学歴脱糞老女:清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
 清水婆婆はコンプレックスの塊でとにかく底意地が悪い/醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
D高添・沼田(東京都葛飾区青戸6−26−6)
※犯罪首謀者井口・千明の子分/いつも逆らえずに言いなりになっている金魚のフン/親子孫一族そろって低能
E高橋(東京都葛飾区青戸6−23−23)
※高橋母は夫婦の夜の営み亀甲縛り食い込み緊縛プレイの最中に高橋親父にどさくさに紛れて首を絞められて殺されそうになったことがある
F長木義明(東京都葛飾区青戸6−23−20) ※日曜日になると風俗店に行っている

225132人目の素数さん2019/09/10(火) 11:52:35.19ID:yUERuKgH
譲治さんは令和元年9月2日 (2019/09/02) にお亡くなりです。合掌。

226132人目の素数さん2019/09/10(火) 15:33:49.08ID:yUERuKgH
譲二さんは令和元年9月2日 (2019/09/02) にお亡くなりです。合掌。


ジョージは偉い男だった。
彼の偉さは数学者として一生大人にならなかった、ということなんだ。
ところが息子のギャレットはおそろしく早く大人になってしまった。
それが彼の最大の欠点さ。
でも、それがもしジョージのせいだとしたら、
それこそジョージの最大の欠点ということになるんだろうなぁ。

数セミ増刊「100人の数学者」 日本評論社 (1989) p.193

227132人目の素数さん2019/09/17(火) 18:34:12.64ID:FU9MbFQ2
しばしば漢字を読み間違える人のために、閣議議事録の副本として

 「まんが 閣議議事録」

というのを作成したらいいと思うよ。

228132人目の素数さん2019/09/18(水) 06:17:30.93ID:Pu45bTZg
アベベ・ビキラ さんは 1973/10/25 にお亡くなりです。合掌。

エチオピア出身の陸上競技 (長距離走)選手で、オリンピックのマラソン種目で史上初の2大会連続優勝を果たし、2個の金メダルを獲得した。
(1960年 ローマ、1964年 東京)
サハラ以南のアフリカ出身者としては初のオリンピック金メダル獲得者でもある。オモロイ人だった。

229132人目の素数さん2019/09/20(金) 05:14:00.85ID:ce/riRSP
A生氏はF岡市長選挙の応援演説で、F岡市の人口増加の実績に触れながら、
「K九州市と比べると分かりやすい。人の税金を使って学校に行った。」
と国立大学出身のK九州市長を批判した。
さて、A生氏はこれをどう読むか?

正: 「こくりつだいがく」
誤: 「くにたちだいがく」

230132人目の素数さん2019/09/20(金) 13:39:25.53ID:KyAOfC1j
3930
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました!
マジで嬉しいです!
来月からも理系に負けず頑張りたいと思います!
https://twitter.com/dy_dt_dt_dx
https://twitter.com/5chan_nel (5ch newer account)

231132人目の素数さん2019/09/20(金) 21:24:01.08ID:QQIrBQyE
安倍首相が居なくても幸せ出なかった時がある以上対偶は反例を持ち偽、よって命題は偽

なに騙されてんだアホwww

232132人目の素数さん2019/10/05(土) 07:20:49.43ID:FWOLyBQo
>>1
Stomachache freaks Don't miss it!

HERE IT COMES!━━━━(゚∀゚)━━━━!!

FOR SALE : Scarcity value!

Poison contain Protein Powder
Poison contain EAA Powder
Poison contain BCAA Powder
Poison contain Glutamine Powder 

Effect : To be able to experience fantastic Stomachache World!
Medicine half-life 12hours : Let`s enjoy spectacular Stomachache Night!!

PRICE : 1Bllion Dollars Each 
Sample $500 (10g) quantity of stock 6packs

★New products have arrived!!
Poison contain BCAA Powder Mild Type (smell bad)
×5quarter size bags(Include 3unread bags) 75%Discount!!

First come, First served!
BRAND NAME COMING SOON!!!!!

233132人目の素数さん2019/10/05(土) 07:21:24.90ID:FWOLyBQo
>>1
" MURPHY'S HOTEL "

Welcome to MURPHY'S HOTEL!! HERE IT COMES!━━━━(゚∀゚)━━━━!!

``Optional tour``〈Today's activity〉

★Fanny Street Watching tour $40 (bring you by shuttle bus)
This town has so fanny street that the Car races are held every day.
Participating cars are ambulances, police cars, electric patrol cars,
gas patrol cars, and motorcycles with various sirens.
This is a race like the Monaco Grand Prix or Tom and Jerry.
It's Amazing!
The audience is chaotic too. A dog barks, a child cries,
and an adult cheers while moving a big wheeled suitcase.
Please join us as a memory of your trip!

~Features of MURPHY'S HOTEL~
1. The TV remote control in the room suddenly disappears.
2. The water pressure becomes weak only when you use the shower.
3. There are many parents who make their children cry and cry on purpose.
4. There are many owners who make their dogs cry and cry on purpose.
5. The boasting of the sound of motorcycles often appears to hear the sound.
6.There may be foreign matter like a piece of plastic in sushi at a sushi bar.
7. You're the only one in the room, but there's a roll of toilet paper on the toilet seat.
8. Fake Usain Bolt, who overtakes you with a dash all of a sudden, comes out.
9. The road construction starts when you check in, and it ends when you check out.
10. When you boot up your laptop, hackers from all over the country visit you.
11. When you check in, the train passing by turns into Miles Davis.

But don't worry. So here is MURPHY!! Thank you!━━━━(゚∀゚)━━━━!!

234132人目の素数さん2019/10/05(土) 07:22:04.05ID:FWOLyBQo
>>1
New Store Openings!! Funny BABER Freaks Don't miss it!!

" MURPHY'S BARBERSHOP "

HERE IT COMES!━━━━(゚∀゚)━━━━!!

We will keep three important promises.
@We are going to artificially shorten one side and unbalance it.
AWe will make your hair shorten if you want to long it.
BWe promise that it will never happen as you wish.

  PRICE
 Hair cut: 1Bllion Dollars
 Hair cut & Shave: 1.5 Bllion Dollars
 Eyebrow cut: Harf Bllion Dollars (We confident that it will be asymmetrical)

THANK YOU!!━━━━(゚∀゚)━━━━!!!

新着レスの表示
レスを投稿する