トップページ
>
プログラム
>
2015年04月29日
>
f54jgqM7
書き込み順位&時間帯一覧
7 位
/152 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
2
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
5
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
Ruby 初心者スレッド Part 57©2ch.net [転載禁止]©2ch.net
【Alloy】形式言語による仕様記述【VDM】
書き込みレス一覧
Ruby 初心者スレッド Part 57©2ch.net [転載禁止]©2ch.net
197 :
デフォルトの名無しさん
[sage]:2015/04/29(水) 06:09:19.11 ID:f54jgqM7
>>193
互いに影響を受けずに独立に値を決められるマスが9マスあるから少なくとも9^9通り以上だろう。
【Alloy】形式言語による仕様記述【VDM】
274 :
デフォルトの名無しさん
[sage]:2015/04/29(水) 06:15:54.81 ID:f54jgqM7
質問もないから新しく始める人もいないってことだろうな。
Ruby 初心者スレッド Part 57©2ch.net [転載禁止]©2ch.net
200 :
デフォルトの名無しさん
[sage]:2015/04/29(水) 10:29:08.43 ID:f54jgqM7
数字の入れ替えありだと検索も一筋縄ではいかんな。
盤面をマス間の同値関係で表現してビットマップインデックスでも使うか。
【Alloy】形式言語による仕様記述【VDM】
278 :
デフォルトの名無しさん
[sage]:2015/04/29(水) 13:07:57.19 ID:f54jgqM7
>>271の問題はまさにそこのところ、モデルと実際のプログラムをどう対応付けるかなんだろう。
VDMが実際の開発に導入されている話は聞くがAlloyについてはあまり聞かないのは
やはり抽象度のギャップの要因が大きいように思う。
Ruby 初心者スレッド Part 57©2ch.net [転載禁止]©2ch.net
207 :
デフォルトの名無しさん
[sage]:2015/04/29(水) 22:11:51.72 ID:f54jgqM7
こういう問題があったとして
ABCD
a1 2
b 3
c
d 2
以下の条件を同時に満たす局面が検索できればいい。
AaとBdは異なる
AaとCaは異なる
AaとDbは異なる
BdとCaは同じ
BdとDbは異なる
CaとDbは異なる
単純にやろうとすると81*(81-1)/2=3240個のフィールドが必要になるけど。
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。