約 2,331,314 件
https://w.atwiki.jp/dreamnine/pages/777.html
S 選手名 コスト メイン守備 サブ守備 初期値 MAX値 打撃+走塁（打者のみ） 数値合計 売値 備考 成瀬 善久 20 先発 - 229 387 331 544 919 786 - 2249 4000 エース 井口 資仁 20 二塁手 - 282 244 324 671 580 769 1251 2020 4000 スラッガー 岡田 幸文 20 中堅手 - 200 418 372 485 1010 899 1495 2394 4000 切り込み隊長 薮田 安彦 20 抑え - 297 326 382 706 774 907 - 2387 4000 守護神 里崎 智也 20 捕手 - 244 204 323 580 484 768 1064 1832 4000 扇の要 中後 悠平 20 中継 先発 306 252 220 704 580 507 - 1791 4000 中継ぎエース サブロー 15 右翼手 左中 249 291 273 600 700 657 1300 1957 3000 2012 APRIL SILVER パズルA グライシンガー 15 先発 - 237 290 300 568 696 720 - 1984 3000 2012 APRIL SILVER パズルB 益田 直也 15 中継 先発 243 230 250 583 552 600 - 1735 3000 2012 APRIL SILVER パズルC サブロー 20 右翼手 左中 273 319 299 638 744 699 1382 2081 4000 2012 APRIL GOLD パズルA グライシンガー 20 先発 - 260 319 330 606 742 768 - 2116 4000 2012 APRIL GOLD パズルB 益田 直也 20 中継 先発 267 253 275 622 588 640 - 1850 4000 2012 APRIL GOLD パズルC 唐川 侑己 15 先発 - 180 364 336 432 874 805 - 2111 3000 2012 JUNE SILVER パズルD 今江 敏晃 15 三塁手 - 260 259 318 634 631 776 1265 2041 3000 2012 JUNE SILVER パズルE 唐川 侑己 20 先発 - 199 402 371 462 934 861 - 2257 4000 2012 JUNE GOLD パズルD 今江 敏晃 20 三塁手 - 287 286 351 677 675 830 1352 2182 4000 2012 JUNE GOLD パズルE 唐川 侑己 20 先発 - 199 402 371 509 1027 948 - 2484 4000 2012 JUNE 超GOLD パズルD 今江 敏晃 20 三塁手 - 287 286 351 745 742 913 1487 2400 4000 2012 JUNE 超GOLD パズルE 南 昌輝 15 中継 先発 291 242 212 699 581 508 - 1788 3000 2012 AUGUST SILVER パズルF ホワイトセル 15 一塁手 388 209 251 861 463 557 1324 1881 3000 2012 AUGUST SILVER パズルG 南 昌輝 20 中継 先発 322 268 234 747 622 543 - 1912 4000 2012 AUGUST GOLD パズルＦ ホワイトセル 20 一塁手 423 228 274 918 494 594 1412 2006 4000 2012 AUGUST GOLD パズルG 南 昌輝 20 中継 先発 322 268 234 822 684 598 - 2104 4000 2012 AUGUST 超GOLD パズルＦ ホワイトセル 20 一塁手 423 228 274 1010 543 653 1553 2206 4000 2012 AUGUST 超GOLD パズルG
https://w.atwiki.jp/snsq/pages/37.html
パズルマスターへの道 発生条件 クエスト手帳を持っている クエストピースを一定数以上持っている 報酬 パズルボックス 進行手順 クエストピースが10個以上ある状態でパズルマスターと会話し受注する。 クエストを受注した後再度話しかけると専用のマップへと飛ばされる。(PT人数は必ず1人になってること) 飛ばされた場所で指定の位置に箱を運ぶことが出来ればクリアとなり、パズルキーが手に入る。クリアできない場合は転送石を使うか専用の脱出口から出れる。 手に入れたパズルキーをパズルマスターに渡して終了。 関連クエスト 未定 備考 要は倉庫番。手に入るパズルボックスはランダムでアイテムが5個手に入るものなので、運がよければレアアイテムが手に入る。
https://w.atwiki.jp/web_soc/pages/1641.html
通常版(3191) 最終更新日時：2020-11-08 23 22 28 (Sun) プラットフォーム yahoo! 〇 mixi 〇 追加 2020/8/5 7 00 引退 - 通常版(3191) エリア適性 選手情報 ３ ３ ３ フルネーム アレクセイ・ニコリッチ・マリッチ ６ ７ ６ 肩書き 頭脳派大型センターハーフ ５ ６ ５ 国籍 セルビア ３ ３ ３ ポジ MF １ 年齢（1期） 25歳 区分 モデル セルゲイ・ミリンコビッチ＝サビッチ 銅 タイプ セントラルＭＦ 在籍 スピ テク パワ スタ ラフ 個性 交換 １期目 7 8 9 7 6 6 B ２期目 7 9 9 7 6 6 B ３期目 7 9 9 7 6 6 B ４期目 7 9 9 7 6 6 B ５期目 7 9 9 7 6 6 B ６期目 7 8 9 7 6 6 B ７期目 7 8 9 7 6 6 B ８期目 7 8 9 7 6 6 B ９期目 6 7 8 7 6 6 B 10期目 2 3 4 3 6 6 B 11期目 0 0 0 0 6 6 B ＰＫ ＦＫ ＣＫ ＣＰ 7 7 7 7 知性 感性 個人 組織 3 - - 2 セルビアの大型センターハーフ。 フィジカルの強さと足元のテクニックを兼ね備え、長短のパスと戦術眼で試合をコントロール。守備面でも空中戦や競り合いに強く、ボール奪取能力に長けている。 父は元プロサッカー選手、母は元プロバスケットボール選手、弟もプロサッカー選手というスポーツ一家の生まれである。 ▲上へ 本日訪問者数： - 昨日訪問者数： - 名前 コメント
https://w.atwiki.jp/brewwiki/pages/1707.html
謎解きパズル エルーカ 【サイト名】元気スーパーゲームランチ 【ジャンル】パズル 【課金体系】従量210円 【容量】243KB 【通信機能】なし 【簡易評価】あなたの評価点をクリック！ plugin_vote2 is not found. please feed back @wiki. / plugin_vote2 is not found. please feed back @wiki. / plugin_vote2 is not found. please feed back @wiki. / plugin_vote2 is not found. please feed back @wiki. / plugin_vote2 is not found. please feed back @wiki. 2006/10/20 【使用機種】W41SA 【プレイ時間】五時間くらい 【評価・点数】★★☆☆☆ 一面ずつクリアしていくパズルゲームです。 主人公は地上に落ちて戻れなくなった天使のエルーカ。 エルーカを操作して、画面にある『ＧＯＲＬ』の文字をすべて集めたら一面クリアです。 色んな種類の罠や仕掛けがあるので、それを避けたり利用したり。 『倉庫番』みたいなゲームをチマチマやるのが好きな人なら、これもチマチマと楽しめるんじゃないかなと思います。 ただ、全体的にショボい感じ。 具体的な欠点も見当たらないんだけど、クリアしてもいまいち爽快感がなく、なんとなく物足りないので、星二つで。 あと、落とした時の値段は忘れました。サイトを見ても値段が分からなかった。 サイト別/か行/元気スーパーゲームランチ
https://w.atwiki.jp/sentai-kaijin/pages/4971.html
「変幻自在の戦士とは俺のような者のことを言うんだよ、前時代の遺物の仮面ライダーくん。」 【名前】 パズル・ドーパント 【読み方】 ぱずる・どーぱんと 【登場作品】 風都探偵 【登場話】 第28話「pは悪魔だ1/彷徨う右腕」～第37話「pは悪魔だ＋α/それでも街は生きている」 【分類】 ドーパント 【能力】 本体のパーツ分割、他人からのスキルの譲渡と利用、頭部から練り出す武装、触れた相手の身体ステータスの把握（ハイドープ） 【メモリ】 パズル 【綴り】 puzzle 【頭文字デザイン】 P字に構成されて崩れかけたパズル 【モチーフ】 パズル 【生体コネクタ位置】 不明 【詳細】 「パズル」の記憶を宿したドーパント。 名前の通り、自分の身体を複数のパーツに分割させることができ、それぞれが独自に浮遊して活動できる。 なお、分裂後の意識は何故か頭部ではなく右腕のパーツに宿っており、この部位のみで風都に出没しては「謎の喋る右腕」として暗躍していた。 全てのパーツが集合した本来の姿はジーンやテラー等のようにボディの起伏が少ない全身タイツのようなシンプルなものだが、腕はこの状態でも二の腕辺りで隙間を空けて浮遊しており、頭部は所謂「テトリス」の図形を組み合わせたような独特の輪郭をした平面板に獅子の鬣の如く顔をはめている（この平面板の形状は後述の能力の切り替えなどによって構造が組み変わる）。 曰く、元々は闇バイヤーからメモリを購入した野良のドーパントで、当初は悪事を働いたとしてもバラバラになる身体を利用して窃盗や誰か脅かすといった姑息なものだった。 しかしある日、自分のメモリに「他人の技能を自分のピースの一部のように組み込める」という本質がある事に気付いて人々の腕を収集（この能力に気付いた頃には腕が二対になったという）、本人が修学旅行の頃に魅了されたという千手観音像に喩えて「万能の神」になることを目論む（ただし、千手観音は神ではなく仏である）。 具体的には自分の身体の一部らしき掌サイズの立方体を相手に触らせると、その者の腕を使った才能を回収する。より厳密に言えば相手から完全に「奪っている」のではなく能力を「コピー」しているに過ぎないが、同時にオリジナルの相手の腕を「封印」しており、結果的に能力を譲渡させている。 腕を奪われた人間は手首の断面図が見えるように腕が透けてしまい、「物を掴む」といった日常行動に支障は無いが、奪われた才能に関する動作だけが不可能になってしまう。 奪った才能は戦闘にも応用が効き、能力を収納した箱を自分の身体に取り込むことで握力やパンチ力など、腕のスキルを変動させたオールラウンドの戦法を取る（因みに箱や発動中の腕には奪った人間を現すイニシャルが刻印されており、これで識別している）。 また頭部の平面パーツの一部を粘土のように変形させて使用中の能力に見合った武具を形成する。 ただし、この能力を発現するには元来「奪う相手から承諾を得る」という制約があったのだが、ガイアメモリの隠れた力を覚醒させたことがオーロラの目に止まりスカウトを受ける。 裏風都から資金を提供され（缶ジュースを買う感覚で億単位が動くとのこと）、この大金でターゲットから腕を「買い取る」という異常な人身売買を行ってきた。 この異常な行動は「求めた物は大金をはたいても即座に我が物にしたい」という強欲さに起因し、その性格から同時に裏風都の正式な住民の証である「ガイアドライバーrex」を欲し、自分の株を上げて幹部に認めてもらうよう打倒仮面ライダーを画策する。 腕を買い取らせた人物の一人、漫画家志望の菅生伝一郎が大金に目が眩んだ自身に後悔し、「もう一度大好きな漫画が描けるように右腕を取り戻して欲しい」という依頼を鳴海探偵事務所に持ちかけたことから翔太郎たちが調査を開始。 ときめとともに街の聞き込みをしていた彼の前に全身を合体させた姿で自ら出現し、変身したダブルと交戦する。 そのまま竹林まで移動し、サイクロンジョーカーの肉弾戦と互角に渡り合い、さらに能力の片鱗を見せつけるかのように奪った人々の「才能」を自分の腕に取り換えた様々な攻撃でダブルを襲う。 それどころか、何故かメモリチェンジして応戦したり、本人らも初めて試す不意打ちの「挟み撃ちのジョーカーエクストリーム」も即座に見抜いて叩き落とし、一方的に追い詰める。 だが、余りにも「相手の動作を先読みしすぎている」という異常事態に何かに気付いたフィリップが一時的に変身を解いてエクストリームメモリを介して現場に急行。 「自分の仮説を立証したい」という彼が変身したファングジョーカーに選手交代したダブルと戦闘を再開する。 すると先程までの強さが嘘のように劣勢に強いられ、使用したフェンシングの才能を込めた箱も容易く奪われてしまうと、自分のパーツから作った爆弾を破裂させた隙に裏の風都へ撤退する。 その後、風都イレギュラーズ総出で見つけた伝一郎と同様の被害者たちが事務所に呼び集められ、フィリップが示した真犯人の顔写真に被害者全員が満場一致で接点があったことで正体が発覚、 表向きでの仕事の後片付けをしている最中に、翔太郎たちに乗り込まれる。 実はこのドーパントの正体は依頼人の伝一郎を始め、被害者全員が診察を受けていた整骨院の院長、ポール東城。 人間のままでもハイドープとして「触れた人物の身体情報を理解する」という特殊能力を開花させている。 上記の翔太郎がベースのダブルを一方的に追い込んだのも、既に聞き込みの訪問がてら施術を受けた彼の身体に触れて「動きの癖」を事前に熟知していたからであり、フィリップの推察通り肉体ベースが別人に変わるファングジョーカーでは対処できなかった。 また同時にこのハイドープは自分の目的の遂行に重宝しており、触れた患者の中から腕の才能にジレンマを抱える人物を品定めしては、交渉のターゲットにしていた。 正体が発覚すると、「数多の腕を持つ神になる」という自分の動機を語ってドーパントに変身。 一度分解した身体で屋外に逃走し、追いかけた翔太郎たちの目の前へビゼルを発動して裏風都への逃亡を図る。 しかし、「調子に乗って警告していた仮面ライダーに手を出した挙句、自業自得に自分の正体を明かされて追い詰められた」という失態から現れた雪侍にビゼルの機能を無力化されてしまう。 だが、その処置が「ペナルティ」ではなく「ステップアップ」だとして、汚名返上の暁にビゼルのランク上げを約束されると、体勢を立て直すために素直に何処かへ飛び去って身を隠し、街の陰で仮面ライダーの暗殺を企てる。 実は被害者の一人だった筈のピアニスト奏利津子は東城に腕を奪われたにも関わらず彼を心酔する手駒であり、彼女の芝居で先に誘拐していた伝一郎を監禁している廃ビルに翔太郎をおびき寄せ、二人共々床に偽装してたパズルボックスに封じ込める。 利津子を含め、自分と交渉した人物の8割は腕を対価に得た大金に満足していると豪語し、更には腕を返してほしいと懇願する伝一郎を罵倒し、このトラップを偽装できた繊細さも自分が持つから価値があると彼の夢を侮辱する。 その発言に怒りを覚えた翔太郎の視線の圧に一瞬動揺するが、パズルパーツでドライバーを封印して変身能力を奪った彼が今更抵抗しても最早無意味だとあしらい、自動で収縮していく処刑ボックスに彼らを閉じ込めたまま放置してその場を去る。 今度はフィリップの方を仕留めようと探偵事務所に姿を見せるが、翔太郎と連絡が取れなくなった事を不審に思ったときめに事前に呼ばれていたアクセルに妨害される。 アクセルを狙って乱入してきたスクリームが相手を引き受けている間、変身できずファングメモリとエクストリームメモリで抵抗する生身のフィリップに襲い掛かるが、殺して来た筈の翔太郎が放ったスタッグフォンの体当たりに妨げられる。 破壊不可能と思われたボックスの中で翔太郎はジョーカーメモリをスタッグフォンに装填し、強制的に暴走させたスタッグのマキシマムドライブから伝一郎の身柄を身を呈して守りきる捨て身の策で脱出に成功していたのだ。 二人揃ってエクストリームになるところだったが、心の奥底で怒りを煮え滾らせた翔太郎の心情を察したフィリップも承諾して基本形態のサイクロンジョーカーに変身したダブルと戦闘に入る。 既に動作を知り尽くしている上に手負いの翔太郎の肉体がベースだと油断していたが、ジョーカーメモリに秘められたメモリの本質によりダブルの戦闘力が自分の予測を上回り、ヒートやルナにチェンジするジョーカー系のフォームに圧倒されていく。 最終的にルナジョーカーの「ジョーカーストレンジ」でメモリブレイクされ、神になる自分の野望が潰えた事実を受け止めれないまま失神、逮捕された。 その後はダメージの反動で警察病院で治療を受けているが、雪侍への異常な崇拝を語りながら黙秘を続けている（本人は「自分が秘密を漏らさないことを分かっているからメガネウラのように始末されない」と過剰な自信を持っているが、逆に救援に誰も差し向けられないことから完全に『街』に見放されたと思われる）。 因みにこのキャラクター、「宙に浮いて喋る右腕」という特徴から他の平成ライダーのアイス好きの鳥怪人を連想した読者も少なくないのでは？
https://w.atwiki.jp/niconico-league/pages/39.html
まず、高句麗や百済や新羅より優位に立つために倭国が完全な独立国であると承認して貰いたいってのがあるなぁ 順位 選択肢 得票数 得票率 投票 1 どんぶらこ 49 (34%) 2 あっきゅんルールが참으로 무서운 귀축 룰です＞＜ 43 (30%) 3 現状に満足 18 (12%) 4 全員大爆発持ちのポケにしてください 7 (5%) 5 詐欺師増量 6 (4%) 6 やってるジム少なすぎ 5 (3%) 7 ギャグ 5 (3%) 8 ジム、四天王が見つけにくい 4 (3%) 9 システムがハッキリしなさ過ぎ 3 (2%) 10 バクノムやれ 2 (1%) 11 やみさんのルールがきつすぎます 1 (1%) 12 正直つまらないし、わかりにくいルール 1 (1%) 13 相手の手持ちが強すぎる 1 (1%) その他 投票総数 145 コメント 名前 コメント
https://w.atwiki.jp/retrogamewiki/pages/6597.html
今日 - 合計 - パズルボーイIIの攻略ページ 目次 基本情報 [部分編集] ストーリー [部分編集] 攻略情報 [部分編集] Tips [部分編集] プチ情報 [部分編集] 関連動画 [部分編集] 参考文献、参考サイト [部分編集] 感想・レビュー 基本情報 [部分編集] ストーリー [部分編集] 攻略情報 [部分編集] Tips [部分編集] プチ情報 [部分編集] 関連動画 [部分編集] 参考文献、参考サイト [部分編集] 感想・レビュー 名前 コメント 選択肢 投票 役に立った (0) 2012年10月09日 (火) 16時19分56秒 [部分編集] ページごとのメニューの編集はこちらの部分編集から行ってください [部分編集] 編集に関して
https://w.atwiki.jp/retrogamewiki/pages/658.html
今日 - 合計 - パズルボブルミニの攻略ページ 目次 基本情報 [部分編集] ストーリー [部分編集] 攻略情報 [部分編集] Tips [部分編集] プチ情報 [部分編集] 関連動画 [部分編集] 参考文献、参考サイト [部分編集] 感想・レビュー 基本情報 [部分編集] ストーリー [部分編集] 攻略情報 [部分編集] Tips [部分編集] プチ情報 [部分編集] 関連動画 [部分編集] 参考文献、参考サイト [部分編集] 感想・レビュー 名前 コメント 選択肢 投票 役に立った (0) 2012年10月09日 (火) 13時53分53秒 [部分編集] ページごとのメニューの編集はこちらの部分編集から行ってください [部分編集] 編集に関して
https://w.atwiki.jp/xevs/pages/39.html
東京大学ペンシルパズル同好会により、中目黒で行われたパズル大会。 実際に人が集まってパズルを解く大会は今の日本では珍しいですし、 パズルの質（と難易度）はかなりのものでしたから、非常に楽しめました。 体力面の問題があり、結果発表兼飲み会に参加できなかったため、自分の詳しい点数を把握できていません。 ただ、順位が2位/34位であることと、ワード系ラウンドの凡ミスで91点ロスしたのがなければ優勝だったらしいことは聞いております。 しっかりしろXEVS!!! 【出題パズル】 ラウンド名 概要 難易度 とんラウンド 数独/ナンプレの変種カテナクのみのラウンド ★1-4 ニコリラウンド ニコリ社の定番パズルがたくさん ★1-6 冴戒椎也ラウンド ワード系パズルのラウンド ★0-3 湾乃狼子ラウンド 新種のパズルのラウンド ★3-6 図形ラウンド その名の通り図形パズルのみのラウンド ★1-5 稲葉ラウンド やさしめパズルが24問。解いたパズルでビンゴを完成させます ★0-2 変種ラウンド 定番パズルのアレンジ版のラウンド ★2-6
https://w.atwiki.jp/pleasealloy/pages/14.html
うそつきのパズル ブルーバックスのパズル本は論理パズルの良書が多く楽しませてくれます。今回はその内の一冊史上最強の論理パズルからの問題を取り上げてみます。 黒猫と白猫 リナ、カナ、ハルナのうち二人は黒猫を飼っています。また二人は白猫を飼っています。黒猫も白猫も飼っていない者はいません。 黒猫を飼っている者は必ずウソをつきますが、黒猫を飼っていない者が真実を述べるとは限りません。 リナ「カナは白猫を飼っています」 カナ「ハルナは白猫を飼っています」 さて、誰が何を飼っているのでしょう？ という問題です。よくある「うそつき」の典型的な問題ですが「真実を述べるとは限らない」のあたりがちょっと目新しいかもしれません。 これをAlloyにかけていきましょう。 人とネコに関する状況の記述 まず、白猫と黒猫を飼っている人、というものを定義します。 abstract sig Owner { black lone BlackCat, white lone WhiteCat } loneは「BlackCatの数は0か1」という条件を意味しています。 one sig リナ, カナ, ハルナ extends Owner {} sig うそつき in Owner {} 1行めで３人のオーナーの定義をしてから、２行目でOwnerの中に（何人か分からないが）うそつきがいる、という定義をしています。 sig BlackCat {} sig WhiteCat {} この２行は、黒猫と白猫の定義ですが、名前など特に付けず「そんなのがいる」程度の定義になっています。 人とネコの間に成り立つべき関係（事実）を定義する factに続いて、問題文を見ながら条件を追加していきます。 黒猫は２匹、白猫は２匹 #Owner.black = 2 #Owner.white = 2 ＃Owner.blackは、全てのオーナーのblackを寄せ集めたものの要素数を表します。つまり、全部の黒猫の数が2であることをこれで示しています。パズルの趣旨としてはネコの数が問われているわけではないのですが、パズルの本質とはあまり関係がないので、ここでは一人が黒猫を複数飼うことは考えていません。白猫についても同様です。 all a Owner | #a.(black + white) 0 この１行で定義しているのはどのオーナーを一人選んでも、そのオーナーが飼っている黒猫と白猫の数(#)は0より多いこと、つまり「黒猫も白猫も飼っていない人はいない」ことを指しています。 no disj a, b Owner | a.black = b.black no disj a, b Owner | a.white = b.white これは問題文には出てきていないのですが、同じ黒猫を複数のオーナーが共有してしまっては困るので、それを禁止するためのものです。つまり「二人の異なるオーナー（これをa,bとする）を選んだとき、aの黒猫とbの黒猫が同じであることはない」ということを語っています。白猫についても同様です。 no c BlackCat | not c in Owner.black no c WhiteCat | not c in Owner.white そしてこの２行もパズルの本文に語られていませんが、どの黒猫を一つ選んでも、それが誰かの飼い黒猫でない、ということはない」、つまり、どの黒猫もだれかに所有されている、ということを示しています。白猫も同様。 うそつきの定義 いよいよ「うそつき」についての記述をします。 all a Owner | a.black != none = a in うそつき これが意味するのは「すべてのオーナー（これをaとすると）について、aが飼っている黒猫がnoneでない、つまりaが黒猫を飼っている「ならば」aはうそつきの集団に含まれる」ということになります。 ここで、見慣れない記号「 = 」が出てきました。この記号は「両含意」という、とても便利なものなのですが、Alloyの本をみてもあまり強く触れられておらず、「サラッ」と流されていることが多いので、ちょっとここで語ってみます。 「含意」 ただし、「両含意」の前に、どうしても「含意」について学ぶ必要があります。 これを呼んでいる人の多くは、おそらく高校で一度は論理学の初歩を習っているはずです。「ド・モルガンの定理」が出てきて、ベン図を書いたりしていたやつです。その中で「ならば」という記号があったのを覚えているでしょうか。A→B（AならばB）というやつです。 人間ならば、死ぬ という、「前者が成り立っているなら、後者は必ず成り立つ。前者が成り立っているのに後者が成り立っていないのはおかしい」と言えるような関係が「含意」です。 このAならばBという言葉の（ならば）にあたる関係を「含意」と呼び、Alloyでは（= ）という記号で表します。 この「含意」は一見分かりやすいのですが、使用にあたって重大な注意点があります。「前者が成り立っていない場合については特に何も言っていない」ということです。 例えば、お母さんが子供に 「勉強したら、おやつをたべていいよ」 と言った場合、当然「勉強しなければおやつはダメ」という意味を含むわけですが、論理学で言うところの「ならば」は、勉強をしなかった場合は「おやつは食べても食べなくてもいい」という意味になります。 「そんな理不尽な」と思うかもしれませんが、これが論理学の厳密さなので気をつけてください。 そんな訳なので、「黒猫を飼っているなら、うそつき」という文をAlloyに伝えるには、通常の「含意」ではまずいわけです。「含意」で書いてしまうと「黒猫を飼っているならうそつきだけど、飼っていない人はうそつきかもしれないし、うそつきでないかもしれない」という意味になってしまうからです。 両含意 ここで登場するのが「両含意」です。 おやつのケースで言うと、結局お母さんが言いたかったのは 勉強したならば、おやつをたべていい 勉強しないならば、おやつを食べてはいけない という、二つのことなわけです。これを二つの条件を並べて書いてもいいのですが、二つ目の条件をよく見てください。 「勉強しないならば、おやつを食べてはいけない」 ところで「対偶」って覚えていますか？うっすらと思い出しませんか？「AならばB」が成り立つなら「BでないならばAでない」も必ず成り立つ、という関係を「対偶」と呼んでいませんでしたっけ？ この「勉強しないならば、おやつを食べてはいけない」の対偶は「おやつをたべていいならば、勉強した」となりますが、これは、一つ目の「勉強したならば、おやつをたべていい」の左右をひっくり返したものになっています。 つまり、お母さんが言っていたのは 勉強した = おやつをたべていい（前半） 勉強した = おやつをたべていい（後半の対偶） という意味なのです。 この両方をひっくるめた表現が 勉強した = おやつをたべていい というもので、ここで出てきた、右向きの「ならば」と左向きの「ならば」を足した記号が「両含意」という訳なのです。 これで分かるように、日常会話で使われる「ならば」の多くは「含意（= ）」ではなく「両含意（ = ）」の方になります。長くなってしまいましたが、「うそつきの定義」で両含意の記号を使っているのはそういう理由なのです。 ちなみに、両含意は（ = ）という記号を使う変わりに、iffという単語を使って all a Owner | a.black != none iff a in うそつき と書くこともできます。ネット上のサンプルもこう書いているものが多いようです。が、僕は（ = ）という表現のほうが「両含意」という言葉の意味をよく表していて好きです。 発言の記述 最後に、リナとカナの発言を記述します。 リナが言っているのは「カナが白猫を飼っている」と言うことなので、リナがうそつきなら、カナは白猫を飼っていないことになります。リナがうそつきでない（黒猫を飼っていない）場合は、真実をいうとは限らない（ウソであるとも限らない）訳ですから、うそつきでない場合は何も語っていないのと同じなわけですから、何でもいいわけです。ということで、 リナ in うそつき = カナ.white = none と書くことができます。リナがうそつきなら、カナは白猫を飼っていない。リナがうそつきでないなら、カナは白猫を飼っていても飼っていなくてもかまわない。これは図らずも「含意」で見た「理不尽な方」と同じになっていますから、「= 」を使って記述できます。 カナについても同様です。カナがうそつきなら、ハルナは白猫を飼っていないし、そうでないなら、ハルナは白猫を飼っているか飼っていないかわからないのです。 カナ in うそつき = ハルナ.white = none 両含意を（iff）と書くことができるのと同じように、含意も(implies）という単語を使って カナ in うそつき implies ハルナ.white = none と書いてもかまいません。が、僕は（= ）のほうがしっくりきますね。ただ「iff」や「implies」といった表現も覚えておかないと、人が書いたAlloyのソースを読むことができませんので、押さえておきましょう。 最後に pred show {} run show 「以上を満たすものを見せてちょうだい！！」という命令をこのように記述します。 実行結果 カナとハルナがうそつきで黒猫を飼っており、白猫はカナとリナが飼っている（カナは両方飼っている）ということが明らかになりました。 全ソース abstract sig Owner { black lone BlackCat, white lone WhiteCat } one sig リナ, カナ, ハルナ extends Owner {} sig うそつき in Owner {} sig BlackCat {} sig WhiteCat {} fact { #Owner.black = 2 #Owner.white = 2 all a Owner | #a.(black + white) 0 no disj a, b Owner | a.black = b.black no disj a, b Owner | a.white = b.white no c BlackCat | not c in Owner.black no c WhiteCat | not c in Owner.white } fact { all a Owner | a.black != none = a in うそつき } fact { リナ in うそつき = カナ.white = none カナ in うそつき = ハルナ.white = none } pred show {} run show （文責：片山 功士） 今日： - 人 昨日： - 人 トータル： - 人