約 1,061,668 件
https://w.atwiki.jp/mekameka/pages/2401.html
ころがしパズル塊魂 メーカー ナムコ 発売日 2009.3.25 対応機種 DSi Ware 落ち物パズルコズモギャング・ザ・パズルを塊魂にキャラ差し替え版 普通の「エンドレスモード」の他に「チャレンジモード」で与えられた課題をクリアーしていくモードもある か行 コズモギャング・ザ・パズル ニンテンドーDSiウェア 塊魂
https://w.atwiki.jp/margemarge/pages/98.html
パズルステージをクリアすることでポイントがたまり、 たまったポイントに応じたリワードを最大10回受け取ることが可能。 希少種やジェムでしか手に入らない物が手に入るのでクリア必至！ リワード８以外、第２回の連勝連戦パズルと報酬は全く同じ。 おばあちゃんのブーケイベントが連勝追加リワードに置き換えられた物。 限定イベントは通常開催日数が長く、必要ポイントも多いが、 今回の限定イベントは開催日数・必要ポイント共におばあちゃんのブーケと同様の模様。 再開催で限定ではなく、新レギュラーイベントと判明。 マージ育成とパズルの両面を強化する狙いか。 パズル連続クリア要素が追加されている。 5マージでポイントは増加しない。ポイントはパズルクリアによって増加する。 リワード１ ロージーメイプルモスのタマゴ 必要ポイント：１５ リワード２ ヒヨケザル(ステージ１) 必要ポイント：６５ リワード３ ロージーメイプルモスのタマゴ 必要ポイント：１５０ リワード４ ロージーメイプルモスの巣 必要ポイント：２７０ リワード５ ヒヨケザルの巣 必要ポイント：２５０ リワード６ ウサギの庭園装飾 必要ポイント：６５０ リワード７ ステキなハチミツの木 必要ポイント：８００ リワード８ ロージーメイプルモス(ステージ３) 必要ポイント：１５５０ リワード９ スーパータマゴ 必要ポイント：１４５０ リワード10 ヒヨケザル（ステージ３) 必要ポイント：２０００ コメント コメント
https://w.atwiki.jp/cloud9science/pages/95.html
2008-10-02 剣を持った辮髪の戦士は何人いる？ 10秒後に中心の円盤（地球）が回転します。戦士の人数を再び数えてください。何人いる？ 地球追い出しパズル 地球追い出しパズル（Get off the Earth）は、サム･ロイドの作品です。基本的なアイデアは、消える妖精とまったく同じものです。 MISDIRECTIONの通信販売で購入しました。これは1896年の作品（の復刻版）なのですが、当時の時代背景である黄禍論が色濃くにじんだデザインになっています。今だったら、宇宙人にでもしないといけないのかもね。 関連サイト cloud9science@Wiki＞消える妖精 MISDIRECTION＞地球追い出しパズル Wikipedia＞サム・ロイド、黄禍論 サム･ロイド公式サイト 名前 コメント Copyleft2005-2008, yu-kubo.cloud9 all rights reversed
https://w.atwiki.jp/gamemusicbest100/pages/3311.html
パズル ドラゴンズ パズドラW 機種：iOS,And,KF 作曲者：伊藤賢治、中島享生 発売元：ガンホー・オンライン・エンターテイメント 発売年：2012年 概要 パズルゲームとRPGのシステムを組み合わせたパズルRPG。 『パズドラ』という略称で呼ばれることが多い。 サービス開始から1年程で累計1100万ダウンロードを達成するなど人気は非常に高く、多くの層がこのゲームで遊んでいる。 現在では5000万ダウンロードを達成している。 ソーシャルゲームに近い作品ではあるものの、当時の他のソーシャルゲームとは異なったゲーム性、運営方針が特徴。 これらは、当時のゲーム業界に大きな影響をもたらし、各社からポストパズドラ作品が大量に製作された。 音楽は伊藤賢治氏と中島享生氏が担当した。 伊藤氏が通常のダンジョンBGM、中島氏がメニュー画面やコラボダンジョンBGM、『パズドラW』のBGM等を担当している。 コラボダンジョンでは新曲やアレンジなど、専用の音楽が使われることがある。 サウンドトラックには佐野電磁と高橋コウタと伊藤賢治自身によるアレンジが収録されている。 ちなみにサウンドトラックは「イトケン・リミテッド」の通り伊藤氏の作曲ではない音楽は収録されていない。 アプリのアップデートによりBGMセレクト機能が追加され、この関係でセレクト対象のBGMはゲーム内で曲名がわかるようになっている。 収録曲 曲名 作・編曲者 補足 順位 パズル ドラゴンズ オリジナルサウンドトラック イトケン・リミテッド収録曲 Departure 伊藤賢治 ノーマルダンジョン 第13回737位ダウンロード5位 Walking Through The Towers ノーマルダンジョンボス戦 A New Journey テクニカルダンジョン 2012年153位ダンジョン236位ダウンロード22位アプリ18位 The Orb Festival テクニカルダンジョンボス戦 2012年406位 Dragon's Den CRYSTAL DEFENDERSコラボダンジョンボス戦 Departure(佐野電磁 ver.) 作：伊藤賢治編：佐野電磁 ゲーム未収録 Walking Through The Towers(RESONATOR ver.) 作：伊藤賢治編：高橋コウタ ゲーム未収録 Dragon's Den(MORE ROCK!) 伊藤賢治 ゲーム未収録 パズル ドラゴンズ オリジナルサウンドトラック2 イトケン・リミテッド収録曲 Fight the Fanatics 伊藤賢治 FFコラボダンジョン ボス戦 Holding Hands 協力プレイダンジョン Unite The Force 協力プレイダンジョン ボス戦 Brand-New Days Warriors Fest サウンドトラック未収録曲 メニュー画面 中島享生 メニュー画面 パズドラW メニュー画面 メニュー画面 パズドラW ノーマルステージ ノーマルステージ パズドラW スペシャルステージ スペシャルステージ Departure TVCMver 伊藤賢治 ゲーム未収録 Departure TVCMver2 ゲーム未収録 Departure TVCMver3 ゲーム未収録 Departure TVCMver4 ゲーム未収録 TVCM用BGM ゲーム未収録正式な曲名は不明 クリスマスダンジョン 中島享生 クリスマスダンジョン正式な曲名は不明 クリスマスダンジョン ボス戦 クリスマスダンジョン ボス戦正式な曲名は不明 私立パズドラ学園 私立パズドラ学園ダンジョン正式な曲名は不明 私立パズドラ学園 ボス戦 私立パズドラ学園ダンジョン ボス戦正式な曲名は不明 パズドラアイランド パズドラアイランドダンジョン正式な曲名は不明 パズドラアイランド ボス戦 パズドラアイランドダンジョン ボス戦Departureのアレンジ、正式な曲名は不明 ハロウィンナイト ハロウィンナイトダンジョン正式な曲名は不明 ハロウィンナイト ボス戦(iOS) ハロウィンナイトダンジョン ボス戦正式な曲名は不明iOS版とAndroid版で曲が異なる ハロウィンナイト ボス戦(Android) コラボダンジョン使用曲 荒野のむこう 大越香里 CRYSTAL DEFENDERSコラボダンジョン出典：ファイナルファンタジータクティクスA2 封穴のグリモア ナムコットメドレー 大上昌子 太鼓の達人コラボダンジョン出典：太鼓の達人DS タッチでドコドン！ ドラゴンスピリットメドレー 作：細江慎治編：増渕裕二 太鼓の達人コラボダンジョンボス戦出典：太鼓の達人6 管弦楽組曲第3番第2楽章 J.S.バッハ編：中島享生 エヴァコラボダンジョン 交響曲第9番第4楽章「歓喜の歌」 ベートーヴェン編：中島享生 エヴァコラボダンジョンボス戦 Departure -Remix- 作：伊藤賢治編：ZUNTATA(小塩広和) GROOVE COASTERコラボダンジョン 2013年91位ダウンロード44位 Walking Through The Towers -Remix- GROOVE COASTERコラボダンジョンボス戦 2013年162位 ドラゴンズドグマコラボダンジョン ドラゴンズドグマコラボダンジョン正式な曲名は不明 死闘の果てに 牧野忠義 ドラゴンズドグマコラボダンジョンボス戦出典：ドラゴンズドグマ 第7回600位第8回724位2012年190位 仕入れステージ 森本章之 アイルーでバザールコラボダンジョン正式な曲名は不明出典：モンハン商店 アイルーでバザール 仕入れボス 鈴木幸太 アイルーでバザールコラボダンジョンボス戦正式な曲名は不明出典：モンハン商店 アイルーでバザール バットマンコラボダンジョン バットマンコラボダンジョン正式な曲名は不明 バットマンコラボダンジョン ボス戦 バットマンコラボダンジョンボス戦正式な曲名は不明 Angry Birds Main Theme Ari Pulkkinen アングリーバードコラボダンジョン出典：Angry Birds Angry Birds Space Main Theme Salla HakkolaIlmari Hakkola アングリーバードコラボダンジョンボス戦出典：Angry Birds Space 決戦!! 伊藤賢治 パズドラZコラボダンジョンボス戦出典：パズドラZ サンリオコラボダンジョン サンリオコラボダンジョン正式な曲名は不明 サンリオコラボダンジョン ボス戦 サンリオコラボダンジョン ボス戦正式な曲名は不明 バトルロック 伊藤賢治 パズバトコラボダンジョン出典：パズドラ バトルトーナメント -ラズール王国とマドロミドラゴン- 闇の軍歌 パズバトコラボダンジョン ボス戦出典：パズドラ バトルトーナメント -ラズール王国とマドロミドラゴン- ドラゴンボールコラボダンジョン 中島享生 ドラゴンボールコラボダンジョン正式な曲名は不明 ドラゴンボールコラボダンジョン ボス戦 ドラゴンボールコラボダンジョン ボス戦正式な曲名は不明 聖闘士星矢コラボダンジョン 聖闘士星矢コラボダンジョン正式な曲名は不明 聖闘士星矢コラボダンジョン ボス戦 聖闘士星矢コラボダンジョン ボス戦正式な曲名は不明 ビックリマンコラボダンジョン ビックリマンコラボダンジョン正式な曲名は不明 ビックリマンコラボダンジョン ボス戦 ビックリマンコラボダンジョン ボス戦正式な曲名は不明 DCコミックスコラボダンジョン DCコミックスコラボダンジョン正式な曲名は不明 DCコミックスコラボダンジョン ボス戦 DCコミックスコラボダンジョン ボス戦正式な曲名は不明 北斗の拳コラボダンジョン 北斗の拳コラボダンジョン正式な曲名は不明 北斗の拳コラボダンジョン ボス戦 北斗の拳コラボダンジョン ボス戦正式な曲名は不明 神羅万象チョココラボダンジョン 神羅万象チョココラボダンジョン2正式な曲名は不明 神羅万象チョココラボダンジョン ボス戦 神羅万象チョココラボダンジョン2 ボス戦正式な曲名は不明 FFコラボダンジョン 伊藤賢治 FFコラボダンジョン正式な曲名は不明 デュエル・マスターズコラボダンジョン 中島享生 デュエル・マスターズコラボダンジョン正式な曲名は不明 デュエル・マスターズコラボダンジョン ボス戦 デュエル・マスターズコラボダンジョン ボス戦正式な曲名は不明 HUNTER×HUNTERコラボダンジョン HUNTER×HUNTERコラボダンジョン(再実施時)正式な曲名は不明 HUNTER×HUNTERコラボダンジョン ボス戦 HUNTER×HUNTERコラボダンジョン ボス戦(再実施時)正式な曲名は不明 バットマンコラボダンジョン2 バットマンコラボ2ダンジョン正式な曲名は不明 バットマンコラボダンジョン2 ボス戦 バットマンコラボ2ダンジョン ボス戦正式な曲名は不明 進撃の巨人コラボダンジョン 進撃の巨人コラボダンジョン正式な曲名は不明 進撃の巨人コラボダンジョン ボス戦 進撃の巨人コラボダンジョン ボス戦正式な曲名は不明 サウンドトラック パズル ドラゴンズ オリジナルサウンドトラック イトケン・リミテッド iTunes imageプラグインエラー 画像を取得できませんでした。しばらく時間を置いてから再度お試しください。 パズル ドラゴンズ オリジナルサウンドトラック2 イトケン・リミテッド
https://w.atwiki.jp/vipdentg/pages/122.html
カード 大富豪 ドミニオン netUNO Virtual Moon Star ゴッドフィールド ほぼハートオブクラウン カードコマンダー ポケモンカード バトルライン パズル ぷよぷよVS ぷよぷよVS2
https://w.atwiki.jp/charapop/pages/19.html
パズル一覧(3/2更新) キャラ名 パズル枚数 い～わくん 10枚 いしきりん 10枚 うどん脳 10枚 大崎一番太郎 10枚 おたる運がっぱ 9枚 ガタゴロウ 9枚 こーた 9枚 GO太くん 8枚 こんぶくん 8枚 さかサイくん 9枚 しろいしみのりちゃん 6枚 たぬ 10枚 チャチャ王国のおうじちゃま 10枚 つゆヤキソバン 9枚 とっくりん 7枚 とさけんぴ 9枚 ドンファン 7枚 ニャジロウ 9枚 ふっかちゃん 10枚 もち-うさぎ 8枚 蓮花ちゃん 7枚 おけわんこ 5枚 お猿のくぅ 6枚 カパル 7枚 カブ左衛門 7枚 金光メイカ 7枚 くしたん 6枚 ゴーヤ先生 7枚 出世大名家康くん 6枚 ゾンベアー 7枚 滝ノ道ゆずる 7枚 たき坊 7枚 ペッカリー 5枚 HO!さん 6枚 まつもとくん！ 6枚 みっけ 7枚 モミー 7枚
https://w.atwiki.jp/gendai4koma/pages/201.html
きまぐれパズルとは、現代4コマ作家の一人である。 概要 基本的には謎解きやクロスワード制作を中心に活動しているアカウント。 現代4コマのほか、トーナメントアート、アンビグラム等も手掛ける。 作風 謎解きとの共通領域である謎解き4コマはもちろん、言葉遊びや、文字の形に着目した作品を得意とする。 文字表現の場合、コマ間も積極的に活用する。 中でも「4」の文字には高い関心を寄せており、4コマで「4」の字を表現した作品が数多く投稿されている。 また作品は数本の直線や円弧での表現に留められ、非常にシンプルである。色数も少なく、ほとんどは黒と背景の白のみ。 文字の形に着目した作品では、主題の文字がうまく隠されているため、注意深く見ないと何を書いているのかわからない場合も。 その時は、さながら謎解き感覚での鑑賞になる。 作品 一語 コマ間を利用し、ギリシャ数字の「Ⅳ」を表現した作品。 コマが横向きながら一列に配置されており、いわゆる「4コマ」の形を大きく崩さないまま、文字表現を入れ込んでいる。 なに？ いわゆる謎解き4コマ。4つのコマを用いながら、矢印で「4」を形づくり、その上で問題として成立させている。 夕日 夕日の場面を主題としながら文字を入れ込み、かつ4コマとして破綻なくまとまっている。
https://w.atwiki.jp/kimetunoyaibapakuri/pages/41.html
マテリアル・パズル 鬼滅作者の自画像の元ネタ? 出典元 吾峠呼世晴『鬼滅の刃』(集英社) 出典元 土塚理弘『1/Nのゆらぎ』(スクウェア・エニックス) 出典元 土塚理弘『マテリアル・パズル』(講談社) 「マテリアルパズル」からのパクリらしき描写が多数あるらしい……?(一例) 敵の行動を読む 回復の炎 獣面の少年 雷化して高速攻撃する眠るキャラ 遊郭兄妹と元ネタ疑惑姉弟 母親(鬼滅は母ではないが)に障害を負わされた蛇の人 出典元 土塚理弘『マテリアル・パズル』(講談社) 出典元 吾峠呼世晴『鬼滅の刃』(集英社) 71 愛蔵版名無しさん sage 2023/03/11(土) 21 52 01.94 ID 1ekDxiqH 63 遠くからのコマの描き方凄い落書きみたい と思いきや大ゴマのシリアスバトルシーン(多分)もしっかりラクガキなので 画力がないくせいっちょ前に手抜き三昧とはなかなか驕慢なおプロ様 出典元 吾峠呼世晴『鬼滅の刃』(集英社) 74 愛蔵版名無しさん sage 2023/03/11(土) 22 05 24.06 ID 3ZD1FoaA 71 こいつ自体、散々パクりまくってるマテリアルパズルのキャラからこさらなるパクリキャラなんだよな 気になる人はマテリアルパズルのマルチーノってキャラとプリセラってキャラを調べてくれ 前者は目の両サイドにほくろと後者は筋力やダンス、髪色に大食い設定とか丸かぶりだ 716 愛蔵版名無しさん sage 2023/10/13(金) 20 21 56.02 ID ??? 鬼滅 暴走するねずこ（鬼）を主人公が子守歌を歌って止める マテリアルパズル（鬼滅の主なパクリネタの元） 暴走する、鬼（異名）を主人公が子守歌のダンスを踊って止める あれれー？ 139 愛蔵版名無しさん sage 2023/10/25(水) 12 54 09.19 ID ??? ちなみに鬼化した炭治郎の体から出てるなんか分からん骨の尻尾みたいな奴、そのままマテパで骨白蛇ってデザインまんまであるからね Kindle Unlimited無料体験
https://w.atwiki.jp/letsplay/pages/26.html
タイトル ジャンル 対応機種 対象年齢 パズル ドラゴンズ パズルRPG iOSAndroidKindle Fire シリーズ ろあ（パズドラ） ろあ（パズドラW） 単発 ろあ 公式 マックスむらいとYouTuberがまったりパズドラ40時間 マックスむらいとYouTuberがまったりパズドラ
https://w.atwiki.jp/pleasealloy/pages/13.html
アインシュタイン式論理脳ドリル まず最初に、本屋で見かけたこんなパズルに挑戦してみましょう。 問題をそのままコピーしてしまうと著作権的にアレなので、内容を変えています。 キツネを見たのははじめ 白が好きなのは黒が好きな人の左隣 ライオンを見た人は右端 なつこは赤が好きな人の右隣 かづみはゆうこの隣 緑が好きな人は真ん中 たくやは茶色が好きな人の二つ左 カメを見た人は黒が好き ミズスマシを見た人はゆうこ 以上のヒントを元に、下のマトリクスを埋め、 －左－ －－－ 真ん中 －－－ －右－ 名前 好きな色 見たもの トラを見たのは誰でしょう、というような問題に答えることがパズルの目的になります。各マスには、上の文中の色がついた言葉が入ります。 というわけで、これを見て、どんなものをAlloyに入力すると、どんな出力が得られるのか、をとりあえず見てみましょう。 Alloyでどう書く？ abstract sig World { name one Name, color one Color, animal one Animal, left lone World, right lone World } one sig LL, LC, CC, RC, RR extends World {} enum Name {はじめ,なつこ,かづみ,たくや,ゆうこ} enum Color {白,黒,赤,茶,緑} enum Animal {キツネ,カメ,ミズスマシ,ライオン,トラ} fact { all n Name | n in World.name all c Color | c in World.color all m Animal | m in World.animal } fact { left = ~right RR.right = none RR in RC.right RC in CC.right CC in LC.right LC in LL.right LL.left = none } fact { -- rule 1 one a World | はじめ = a.name and キツネ = a.animal -- rule 2 one disj a, b World | 白 = a.color and 黒 = b.color and a = b.left -- rule 3 one a World | ライオン = a.animal and a.right = none -- rule 4 one disj a, b World | なつこ = a.name and 赤 = b.color and a = b.right -- rule 5 one disj a, b World | かづみ = a.name and ゆうこ = b.name and (a = b.left or b = a.left) -- rule 6 one a World | 緑 = a.color and a.left.left.left = none and a.right.right.right = none -- rule 7 one disj a, b World | たくや = a.name and 茶 = b.color and a = b.left.left -- rule 8 one a World | 黒 = a.color and カメ = a.animal -- rule 9 one a World | ゆうこ = a.name and ミズスマシ = a.animal } pred show() {} run show 実行結果 上のプログラムを実行すると、以下のような解が提示されます。 これを見ると、トラを見たのが「たくや」だということがわかります。 意味分からないですよね ふ～ん・・という感じでしょうか。 とにかくさっぱり意味が分からないと思うので、上のソースを１行ずつ説明していくことにしましょう。 パズル世界の記述１ まず最初に、このパズルが取り扱う世界がどんなものかを記述します。考えなくていいものは整理し、パズルの要素だけを抜き出します。 abstract sig World { name one Name, color one Color, animal one Animal, left lone World, right lone World } ここでは、アインシュタインパズルの回答を構成する表を定義しています。この表にモノが埋まったものが、このパズルの世界の全てですので、ここから定義を始めます。 最初のabstractは（抽象的な）という英語で、この後で定義するものが、具体的なモノではないことを示しています。 次のsigは「signagure（シグネチャ）」の略で、「こんなものがありますから覚えてくださいね」と、Alloyにお願いする言葉です。 １行目の最後にあるのは、Worldとありますが、これが世界に僕が付けた名前です。大文字で始まる何かの単語であればなんでもかまいません。 このWorldは、上の表の縦の列１列分を表します。 その次に続くのが、このWorldが持っている属性の一覧です。 nameは、Name（後で定義します）のうちのどれか一つ（one）です。 colorは、Color（後で定義します）のうちのどれか一つ（one）です。 animalは、Animal（後で定義します）のうちのどれか一つ（one）です。 leftは、このWorldの左隣の他のWorldですが、もしかするとないかもしれません(lone）。 rightは、このWorldの右隣の他のWorldですが、もしかするとないかもしれません(lone）。 これが、以下のように五つ並んだものが、このパズルの表となります。 one sig LL, LC, CC, RC, RR extends World {} 上の宣言は、LL,LC,CC,RC,RRという名前のWorldが、一つずつ存在するということを意味しています。今のところは「存在」だけが示されていて、並び順は決められていません（後で定義します）。 最初にWorldを宣言した際はabstracctを付けていましたが、今回は付けていません。ここで出た五つのものが、具体的に存在することが明らかになった最初のものです。 マス目に入るものの記述 次に、Worldの中に入るものを宣言します。先ほど（後で定義します）と書いたName、Color、Animalをここで宣言します。 enum Name {はじめ,なつこ,かづみ,たくや,ゆうこ} enum Color {白,黒,赤,茶,緑} enum Animal {キツネ,カメ,ミズスマシ,ライオン,トラ} fact { all n Name | n in World.name all c Color | c in World.color all m Animal | m in World.animal } 最初の行は、Nameというものは「はじめ、ななこ、かづみ、やくや、ゆうこ」のうちのどれかである、ということを示しています。 2行目、３行目も同様に、ColorとAnimalが何であるかを宣言しています。 次の「fact」は、それに続く括弧に入っているものが「絶対に曲げられない事実である」ということを示しています。 次の「all n Name | n in World.name」という記述が一番なじみにくいように感じられるかもしれませんが、この行をそのまま日本語に表すならば、 「全ての名前は、Worldであるもの（LL,LC,CC,RC,RRのいずれか）のnameに含まれる。」 ということになります。名前もWorldも五つずつしかありませんから、こう書いてしまうと、この時点ではどれがどれに対応しているかは分からないけど、名前とWorldが１対１で対応することになります。 ColorとAnimalについても同様です。 世界の横方向の順序性を定義 次に、五つ定義した世界を横に１列に並べてやる必要があります。五つのものを左から「LL,LC,CC,RC,RR」と並べたいのです。そのための記述が以下のものです。 fact { left = ~right RR.right = none RR = RC.right RC = CC.right CC = LC.right LC = LL.right LL.left = none } factは、先ほども出たように、この括弧の中が「ゆるぎない事実」であることを指しています。 中身の１行目「left = ~right」ですが、これは、Worldのleftとrightというのが、丁度逆になっている関係であることを宣言しています。つまり、RCのrightがRRなら、RRのleftは必ずRCである、という関係を示しています。 次に、RRの右には何もない、という記述が続きます（RR.right = none）。 そして、RR=RC.right、RC=CC.rightという風に、要素を次々と右につないでいきます。最後に、LLの左に何もないことを示せばこの作業は完了です。 お疲れ様でした。ここまでで、このパズルの世界観についての記述は終わりました。続いて、問題文をAlloyの言葉に翻訳していきます。 条件１ ソースの中に「--rule 1」とあるのは単なるコメントです。 キツネを見たのははじめ one a World | はじめ = a.name and キツネ = a.animal 上の文を、Alloyに分かるように書いたものが下の記述です。 「マス目に入るものの記述」で見たのと少し似た表現ですが、これをあえて文にするなら あるWorld(これを仮にaとする）が必ず一つ存在して、そのaのnameは「はじめ」で、なおかつそのanimalは「キツネ」である。 という意味になります。aがどれかは分からないけど、どれかはこの条件を満たすと言っているのです。 条件２ 白が好きなのは黒が好きな人の左隣 one disj a, b World | 白 = a.color and 黒 = b.color and a = b.left 次は少しややこしいです。先ほどは一つのWorldの条件を示していましたが、今度は二つのWorldにまたがった条件を設定しています。 等しくない二つのWorld(これを仮にa, bとする）が必ず存在して、そのaのcolorは「白」で、なおかつbのcolorは「黒」で、しかもaはbの左である。 「等しくない」を表しているのが、「disj」です。 条件３ ライオンを見た人は右端 one a World | ライオン = a.animal and a.right = none 少し見慣れてきましたか？今度は あるWorld(これを仮にaとする）が必ず一つ存在して、そのaのanimalは「ライオン」で、なおかつその右には何もない（右端）。 という意味です。 条件４ なつこは赤が好きな人の右隣 one disj a, b World | なつこ = a.name and 赤 = b.color and a = b.right 条件２と同じですね。 条件５ かづみはゆうこの隣 one disj a, b World | かづみ = a.name and ゆうこ = b.name and (a = b.left or b = a.left) 「隣」という表現が出てきましたが、これはつまり、「aの右がbであるか、またはbの右がaである」という意味ですので、上のようにかけます。 条件６ 緑が好きな人は真ん中 one a World | 緑 = a.color and a.left.left.left = none and a.right.right.right = none 「真ん中」という条件はどう書けばいいのか・・・と迷った結果、「aの左の左の左は何もなく、かつaの右の右の右は何もない」としました。 これが真ん中を意味するのは分かりますね？ 条件７ たくやは茶色が好きな人の二つ左 one disj a, b World | たくや = a.name and 茶 = b.color and a = b.left.left 二つ左、という条件をどう書くかは、ここまで読んできた人なら分かりますね？aはbの左の左です。 条件８ カメを見た人は黒が好き one a World | 黒 = a.color and カメ = a.animal 条件１と同じですね。 条件９ ミズスマシを見た人はゆうこ one a World | ゆうこ = a.name and ミズスマシ = a.animal これも条件１と同じですね。 おしまいに pred show() {} run show 最後についているこの２行は「以上を満たすもがどんなものなのか見せて！」という命令です。この前まではAlloyはずっと我々の話を聞いているだけでしたが、この２行を受け取ることで、答えを探し始めます。 これで完了！ どうでしたか？問題文をAlloyに分かるように翻訳する作業は、問題文の中にある論理を冷静に見つめて、それを厳格に書き起こしていくという作業になります。ちょっと大変かも知れませんが、Alloyにはもっとたくさんの文法があり、その表現力はここで上げたものよりもはるかに大きくて、ややこしいことを厳格に、しかも手短に表現する力を持っています。 こうして、問題文の世界と条件を入力してやれば、後はその条件を満たす世界がどんなものか、Alloyが探し出してきてくれます。複数見つかればそれらを順に見せてくれます。 見つからなければ「そんな条件を満たす状態は見つからなかった」と教えてくれますが、これには注意があります。これはあくまで「見つからなかった」だけであって「存在しない」「ありえない」ということを保証してているわけではないということです。ここだけは忘れないでください。 （文責：片山 功士） 今日： - 人 昨日： - 人 トータル： - 人