Formal Design Methods

0001クイズマスター

NGNG

数少ない勉強屋さん同士でいろんな問題を解いて
いっちゃうよ。
まずはこれから：

0002クイズマスター

NGNG

|[ con N: int; {N≥0}
var f: array[0..N) of int; t:array[0..N) of bool;
n:int;
n:=0;
{P0∧P1}
do n < N →
f.n:=rand(100);
n:=n+1
{P0∧P1}
od
{∀j: 0≤j<N: 0≤f.j<100}
n:=0;
{P2∧P1}
do n < N →
t.n:=f.n>40;
n:=n+1
{P2∧P1}
od
{∀j: 0≤j<N: t.j=f.j>40}
]|

PO: {∀j: 0≤j<n: 0≤f.j<100}
P1: O ≤ n ≤ N
P2: {∀j: 0≤j<n: t.j=f.j>40}
O≤round(K)<K ∧ K>0

0003クイズマスター

NGNG

１００％正しい正解を見せあいっこしていこう。
これがとけたら、次の問題。

0004デフォルトの名無しさん

NGNG

何だこれ・・Foramal Design Methodsって、ｃにつながるんだっけ？
それともJava?

0005デフォルトの名無しさん

NGNG

どういう問題なんだかちゃんと説明しろこのバカ >>1-3

0006デフォルトの名無しさん

NGNG

見て分からない>>5は低学歴。

0007デフォルトの名無しさん

NGNG

説明できない>>6は低学歴(ﾌﾟﾌﾟﾌﾟ

0008クイズマスター

NGNG

ごめんごめん。説明不足だったね。
この＞２のプログラムが正しいことをFormal Design Methodを用いて
証明してちょ。
P0,P1,P2とO≤round(K)<K ∧ K>0を使わないと解けないよ。

天才はけーん！したいです。

0009デフォルトの名無しさん

NGNG

Z?

0010デフォルトの名無しさん

NGNG

わるいけど、Formal Design Method自体、初耳のおれに
ヒントくれ
何をどうすればいいのかわけがわからん

0011デフォルトの名無しさん

NGNG

http://www.google.com/search?num=50&hl=ja&ie=Shift_JIS&q=Formal+Design+Method&btnG=Google+%8C%9F%8D%F5&lr=

0012デフォルトの名無しさん

NGNG

参加するのやめた

0013クイズマスター

NGNG

それは大変。どこからどう説明を・・・

0014クイズマスター

NGNG

そんなこと言わずにぜひあなたの天才性をはけーん！させてくださいな。

0015デフォルトの名無しさん

NGNG

じゃあ、まず聞くが
>>2で書かれたものってプログラミング言語なの？
それとも、数学の問題なの？

0016デフォルトの名無しさん

NGNG

どうもPO～P2と最後の式が条件というかヒントみたいなもので
それをつかって上のことを証明したいらしい・・・
でも、なにがなんだか・・・
普通に解読すればいいのか？

0017デフォルトの名無しさん

NGNG

{∀で始まるものはfor文みたいなものか？（俺しか参加してないなさっきから

0018デフォルトの名無しさん

NGNG

varはグローバル変数か？

0019デフォルトの名無しさん

NGNG

1はこの国のソフトウェア産業の未来を心配する高山先生か？

0020デフォルトの名無しさん

NGNG

一番上から行くと
Nは0以上の定数
ｆはintがはいった要素数N+1の配列
ｔはbool値がはいった要素数N+1の配列・・・
こんな感じでいいんですか？

0021クイズマスター

NGNG

どんなプログラミングでも何かを計算したり、一定の条件によって
どんな操作をするって言うようなストラクチャがあるでしょ？
Fomal Design Methodっていうのはねそのストラクチャの構成をたすける
言語なんだけど、数学とcとかの基本do,for,ifが混ざったような感じ。

１６＞だんだん近づいていってる！

0022クイズマスター

NGNG

２０、その理解は１００％天才系で正解です。

0023デフォルトの名無しさん

NGNG

final int N;
int[] f=new int[N+1];
boolean[] t=new boolean[N+1];
int n=0;

0024デフォルトの名無しさん

NGNG

>>クイズマスター
っていうか>>19以外、10～23まで俺しかやってねーけど
他のやつはやらんのか？

0025クイズマスター

NGNG

２３はどういう風な感じでといていってるのだろうか・・
JAVA のトレッドが混ざっているのだろうか・・

0026クイズマスター

NGNG

じゃ、あなた天才候補代一番！！

0027デフォルトの名無しさん

NGNG

また少しわかってきた
|[ ]|っていうのは{ }と同じか？
で、　{ }は（）と同じってこと？

0028デフォルトの名無しさん

NGNG

>>クイズ
そう、おれJava系でやってる

0029デフォルトの名無しさん

NGNG

なるほど、do⇔odで一区切りか・・

0030デフォルトの名無しさん

NGNG

f.n　ってのはf[n]っていう理解であってる？

0031クイズマスター

NGNG

＞|[ ]|っていうのは{ }と同じか？
＞で、　{ }は（）と同じってこと？

両方正解。でもね、 f: array[0..N)このばあいは、ｆの値に
Nは含まれないもし、[0..N]だったら、ｆの値にNが含まれ
るって言う解釈でお願いします。

0032& ◆4YgJDWfKKM

NGNG

30正解です

0033デフォルトの名無しさん

NGNG

{P0 ∧ P1}
っていうのはプログラム中おいて保証される命題みたいなもの？

0034デフォルトの名無しさん

NGNG

f.n:=rand(100);⇒f[n]=rand(100);

Nっていうのは定数なんだが値が決まってないんだな
だから、Nが０以上の場合に以下のプログラムが正しいことを
やればいいってことか

0035& ◆FJotLDPJXU

NGNG

{P0 ∧ （AND)P1}
もし、POとP1

0036デフォルトの名無しさん

NGNG

なんか増えてきたな参加者

0037& ◆FJotLDPJXU

NGNG

{P0 ∧ （AND)P1}
もし、POとP1がTRUEだったら、その後のプログラムが
実行される。そこでこれ

PO: {∀j: 0≤j<n: 0≤f.j<100}
P1: O ≤ n ≤ N
が必要になってくるのよ。

0038デフォルトの名無しさん

NGNG

さすが高山先生、人生経験が豊富なだけあって
人を惹きつけるのも上手いですね。

0039デフォルトの名無しさん

NGNG

昨日このスレ見たときは、無視してたが
なぜか今どっぷりはまっているのは何でだ？
算数のクイズを見るとやりたくなる感覚に似ている

0040デフォルトの名無しさん

NGNG

{∀j: 0?j<N: 0?f.j<100}
これはどうとったらいいんだろう。
jってのはまだ宣言されてないよね？
あと?ってのがどうも。。。

0041クイズマスター

NGNG

私も始めたころはそうだったよ君。

0042デフォルトの名無しさん

NGNG

{} ってのはBashの[]みたいなものかな？つまりif。どうなんでしょ。

0043デフォルトの名無しさん

NGNG

わかるとこからといていこう
O≦round(K)<K ∧ K>0

round(K)っていうのは0以上K未満で
かつKは０より大きいとする　

0044デフォルトの名無しさん

NGNG

>>40
文字化けの可能性あり
たぶん≦で読み替えれば何とか・・・

0045クイズマスター

NGNG

{∀j: 0≤j<N: 0≤f.j<100}
このMETHODでは、jを定義する必要はないんだけど、INTと思ってくれていいよ。
∀jっていうのは、ALL j.つまり、すべての可能性のjは０＜＝、ｊ＜ｎ
そしてｆ.ｊは１００よりちいさい。

0046デフォルトの名無しさん

NGNG

{∀j: 0?j<N: 0?f.j<100}
これはjってのが、とりあえず0..Nの間の変数みたいなもので
fの全ての要素が100より小さいということになるのかな。
それにしても{}の意味がよく分からんです。

0047クイズマスター

NGNG

もじばけしてる？≦です。
ほかに文字化けしてるとこがないといいけど・・・。

0048クイズマスター

NGNG

O≦round(K)<K ∧ K>0

round(K)っていうのは0以上K未満で
かつKは０より大きいとする　

＞＞round(K)は０の可能性もありだよ。

0049デフォルトの名無しさん

NGNG

文字化けしますね
≦の下一本無いやつが「？」に変わるみたい
俺は大丈夫だけど
コピペしようと思ったら「？」になるのでたぶん文字化け
問題では「？」なんてつかってないよね
まあ、≦で読み替えても題意は、変わらないよね

0050デフォルトの名無しさん

NGNG

>>48
「0以上」だから0の可能性もあるって
Kは０より大きいけどね

0051クイズマスター

NGNG

ごめんごめん。英語のOSだから、日本語入力ちょっと怪しげ。

0052デフォルトの名無しさん

NGNG

さすが高山先生！

ところで0>=Nと書いてはいけないのでしょうか？

0053デフォルトの名無しさん

NGNG

あ、逆向きの≦も文字化けしてるな
一行目のやつだけは＞の向きで＝ついたやつだぞALL

0054デフォルトの名無しさん

NGNG

N>-0　の間違いです。スマソ

0055デフォルトの名無しさん

NGNG

52,54は忘れてね。恥かしい

0056クイズマスター

NGNG

これでどうかな・・・

|[ con N: int; {N≧0}
var f: array[0..N) of int; t:array[0..N) of bool;
n:int;
n:=0;
{P0∧P1}
do n < N →
f.n:=rand(100);
n:=n+1
{P0∧P1}
od
{∀j: 0≦j<N: 0≦f.j<100}
n:=0;
{P2∧P1}
do n < N →
t.n:=f.n>40;
n:=n+1
{P2∧P1}
od
{∀j: 0≦j<N: t.j=f.j>40}
]|

PO: {∀j: 0≦j<n: 0≦f.j<100}
P1: O ≦ n ≦ N
P2: {∀j: 0≦j<n: t.j=f.j>40}
O≦round(K)<K ∧ K>0

0057クイズマスター

NGNG

５２，５４．が正解だよ。まあ、N>-0でも、おんなじ答えが出るはずだけど。

0058デフォルトの名無しさん

NGNG

http://218.44.246.37/~2ch/

0059クイズマスター

NGNG

５８に引っかかってしまった・・私としたことが・・

0060デフォルトの名無しさん

NGNG

さすが高山先生！ｗ

0061デフォルトの名無しさん

NGNG

P0とPOは違うんだよね？当たり前か。。。

0062クイズマスター

NGNG

同じです・・やっぱ、日本語のOSも持ってたほうがいいかなぁ・
変換がかなり怪しげ・・・

0063デフォルトの名無しさん

NGNG

>>62
今使ってるOSは日本語OSじゃないの？
だったらなぜ日本語入力できるの？

0064クイズマスター

NGNG

いちお、英語のXPのRegional setting に日本語をインストールしてあって、
つかいたいときだけLanguage Barで選択して打っているんだけど、やっぱ
文字化けするときあるねこれだと。

0065デフォルトの名無しさん

NGNG

>>64
日本語のWinXPを落とせなかったということ？
念のため通報しておきます。

0066デフォルトの名無しさん

NGNG

自分勝手な1だな。
使ってる意味論と公理くらいかいとけよ。

0067山崎渉

NGNG

（＾＾）

0068山崎渉

NGNG

　　 ∧＿∧
　　（　　＾＾）＜ぬるぽ（＾＾）

0069山崎渉

NGNG

　　　　∧＿∧
ﾋﾟｭ.ｰ　(　　＾＾）＜これからも僕を応援して下さいね（＾＾）。
　　＝〔~∪￣￣〕
　　＝ ◎――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉

0070デフォルトの名無しさん

NGNG

52,54.が正解だよ。まあ、N>-0でも、おんなじ答えが出るはずだけど。

0071デフォルトの名無しさん

NGNG

{}内は、表明でそ。
で、凡人の漏れには>>2は当たり前に見えてしまうのだが・・・
>>1 何を証明させたいのか、説明しれ。

あと、正解正解逝ってるレスがかなりピント外れで萎え萎え

0072デフォルトの名無しさん

NGNG

あげ

0073_

NGNG

http://homepage.mac.com/hiroyuki44/

0074デフォルトの名無しさん

NGNG

せめて http://www.afm.sbu.ac.uk/ に載ってるFormal Methodをネタにしてくれないか？
漏れには、このスレが荒唐無稽な無学者の集まりにしか見えないんだ・・・

0075無料動画直リン

NGNG

http://homepage.mac.com/norika27/

0076デフォルトの名無しさん

NGNG

>>74
放置されちゃったね

0077デフォルトの名無しさん

NGNG

http://218.44.246.37/~2ch/

0078７４

NGNG

>>76 つまり的中ってことですな

0079山崎渉

NGNG

（＾＾）

0080山崎渉

NGNG

　　　 (⌒V⌒)
　　　│ ＾＾ │＜これからも僕を応援して下さいね（＾＾）。
　　⊂|　　　　|つ
　　　（＿）（＿）　　　　　　　　　　　　　　　　　　　　　　山崎パン