約 1,390,440 件
https://w.atwiki.jp/xbox360score/pages/2150.html
二コリのパズルX 数独 Puzzle by Nikoli X Sudoku 項目数：5 総ポイント：200 難易度：★☆☆☆☆ 製品情報：Windowsストア 配信日：2013年9月12日 DL費用：150円 ※無料お試し版はインストール日から1日間限定（再ダウンロード権が2ヵ月毎に復活するようです） ジャンル：パズル ☆ Windows 8用タイトル、Windows10でもプレイ可能 一時期ストアから削除されていたが、2014年3月24日に再配信されました。 配信当初は実績が解除出来なかったが、2014年2月7日に解除出来るようになった。 Window10でも無料のお試し版で全実績解除可能（2016年8月時点）。 ヘルプを読んだ。 ヘルプをすべて閲覧した。 20 シャッフルの達人。 シャッフルで連続5問クリアした。 40 10問クリア。 「数独」を10問クリアした。 50 20問クリア。 「数独」を20問クリアした。 60 プレイ時間が1時間経過した。 トータルタイムが1時間を超えた。 30 最初にシャッフルで5問連続クリアし、その後他の解いてない5問を解くことで「10問クリア」が解除。更に残り10問を解くようにすると無駄がなくスムーズ。 そのうち1問は1時間以上かけて解く。 シャッフルの達人。 1問終了時に「NEXT→」を押さず、メニュー画面に戻ったり、アプリを閉じてしまうとカウントリセット。 デスクトップモードを画面分割等で表示すると一時停止しタイトルメニューに戻されてしまいますが、この場合はカウントリセットはされませんでした。 ○○問クリア。 クリア回数ではなく、全20問ある内の10問・20問クリアで解除。 10問目、20問目だけを解くのではない。（どの組み合わせでも良いので問題の選択画面で王冠の数を10・20個表示させる） プレイ時間が1時間経過した。 説明ではトータルタイムとあるが、ACHIEVEMENTSで見られる「TOTAL TIME」ではなく1問中に1時間経過すれば解除。 マスを全て埋めた後、放置すれば1時間経過した時点で解除。 ただし、何故か1時間超えても解除されなかったり、30分ほどで解除されたりするバグあり。 ツール使用で簡単にクリア可能（数字を打ち込めば空きマスを自動で解析してくれるツール） http //www5e.biglobe.ne.jp/~jyokun/sudoku_analyser/ 問題の解答そのもの http //playingforachievements.blogspot.jp/2014/03/puzzle-by-nikoli-x-sudoku-achievement.html
https://w.atwiki.jp/nintendo3ds/pages/33.html
HOMEメニューソフト起動中でも呼び出せる機能 本体設定インターネット設定 保護者による使用制限 データ管理 その他の設定 その他 本体機能更新バージョン 4.3.0-10J への更新による主な変更点 バージョン 4.2.0-XJ への更新による主な変更点 バージョン 4.1.0-XJ への更新による主な変更点 バージョン 4.0.0-7J への更新による主な変更点 バージョン 3.0.0-6J への更新による主な変更点 バージョン 3.0.0-5J への更新による主な変更点 バージョン 2.1.0-4J への更新による主な変更点 バージョン 2.1.0-3J, 2J, 1J, 0J への更新による主な変更点 バージョン 2.0.0-2J への更新による主な変更点 バージョン 1.1.0-1J, -0J への更新による主な変更点 将来追加されるかもしれない機能 HOMEメニュー HOMEボタンを押すことで、起動中のソフトを終了させることなく中断して呼び出すことができる。 DS/DSiソフトを起動中の場合は、終了させないと呼び出すことができない。 上画面に表示されるソフトのタイトルなどは、マイクに反応して回転する速さが変わる。 日時や電池残量、通信状態などの確認（上画面） 電池残量：1（少）〜4（多）と赤点滅（もうすぐ電源が切れる）の5段階。赤点滅時は「バッテリー残量が少なくなっています」の警告が表示され、お知らせランプが赤く高速点滅する。充電中はオレンジ、充電完了時は青い電源プラグのアイコンが表示される。 通信状況表示：無線通信がオンになっているが通信していない場合は「無線ON」、なにかしらの通信している場合は「すれちがい通信」、「インターネット」、「ローカル通信」のどれかが表示される。無線通信がオフの場合は「無線OFF」が表示される。 その日の歩数、ゲームコインの確認（上画面） ニンテンドー3DSをスリープモード（電源を入れたまま閉じた状態）で持ち歩くことによって歩数がカウントされる。 100歩につきゲームコインが1枚手に入る。ゲームコインは対応ゲームで使うことができる。 ※ゲームコインの獲得は1日10枚まで。最大300枚まで貯めておくことができる。 画面の明るさや省エネモードの設定変更 下画面左上の太陽のアイコンで変更することができる。明るさは1～5の5段階。 明るさを下げるとバッテリーの消費を抑えることができる。明るさ4または5の状態でACアダプタを繋ぐとより明るくなる。 省エネモードにするとバッテリーの消費を若干抑えられるが、明るさや色味などがシーンに応じて変わるようになる。 ソフトアイコンの大きさ変更 下画面左上の四角いアイコンで大きさを変えることができる。 ソフトアイコンの位置の移動 アイコンをタッチペンで長押しすると移動させることができる。 ソフトのすれちがい通信/いつの間に通信のデータの有無の確認 すれちがい通信の未読データがあるソフトは、ソフトアイコンの右下に緑色の●が表示される。 いつの間に通信の未読データがあるソフトは、ソフトアイコンの右下に青色の●が表示される。 電子説明書（本体内蔵ソフト、3DSダウンロードソフトなど） 電子説明書が搭載されているソフトの場合、ソフトを選択すると下画面の下の方に「説明書」と表示される。 ソフト起動中でも呼び出せる機能 カメラ（HOMEメニューでL・Rボタンを長押しして起動） 写真を撮ることができる。通常の写真の他に合体カメラを利用することができる。 また、QRコードを読み取ることも可能。 撮った写真を後で見る場合はニンテンドー3DSカメラを起動する必要がある。 ゲームメモ 中断中のゲーム画面を見ながらメモを取ることができる。 メモは16枚まで保存可能。また、メモを画像として保存してニンテンドー3DSカメラで見ることもできる。 ゲーム画面を保存することはできない。 フレンドリスト フレンド（他の3DS本体）を100人まで登録することができる。 3DSソフトではこのフレンドリストが共通して使われる（DS/DSiソフトはソフトごとにフレンドリストがある）。 登録はローカル通信かフレンドコードの交換によって行うことができる。 フレンドリストでは、フレンドのオンライン状態と遊んでいるソフト、ひとことコメントを見ることができる（非公開にすることも可能）。 オフラインの場合には遊んでいるソフトの代わりにお気に入りソフトが表示される（未登録も可能）。 お気に入りソフトは遊んだことのあるソフトの中から選ぶことができる。ひとことコメントは最大16文字。 フレンドがオンラインになると、本体のおしらせランプがオレンジ色に約5秒間点滅する。 ※ここでの「オンライン」とは、3DSが電源OFFやスリープモードではなく、インターネットに接続している状態のこと。ローカル通信中などはオフラインになる。 おしらせリスト すれちがい通信やいつの間に通信のお知らせを表示できる。 未読のお知らせがあるとアイコンの右上に対応した●/●が表示される。 すれちがい通信の情報は最大12件まで保存され、ソフトを起動しなくても何人すれちがっているかを確認することができる。 一度に何人すれちがえるかの最大数も確認することができる。 いつの間に通信の情報は最大100件まで保存され、任天堂からのお知らせなども届く。 インターネットブラウザー ソフト中断中にも使うことができるため、攻略サイトを見るなどの使い方ができる。 3D画像の表示に対応しているため、3DSソフトの公式サイトではスクリーンショットとして3D画像が公開されている場合がある。 3D画像は画像を長めにタッチすることで3Dで見ることができる。 画像を保存することができる。また、画像のアップロード機能もある。 標準で無料のフィルタリングサービスを利用することができる。 動画や音声の再生、Adobe Flash Player等のプラグインには対応していない。また、ページの表示速度などは最新の携帯電話等に比べると劣る。 ブラウザはWebKitベースでありながら省メモリで動作する「NetFront®Browser NX」のカスタマイズ版が搭載されている。 ▲上に戻る 本体設定 インターネット設定 3DS本体をインターネットに接続するための設定を行う。 設定中は、下画面中央下に説明をしてくれるキャラクターが現れる。タッチすると、設定項目の詳細などを説明してくれる。 インターネット接続設定 無線LANアクセスポイントを3つまで設定することができる。DSソフトの設定は別に存在する。 接続方法は、アクセスポイントを検索、AOSS、らくらく無線スタート、WPS、手動設定。アクセスポイントの他、「ニンテンドーWi-Fi USBコネクタ（製造終了）」にも接続可能。 手動の設定項目はSSID、セキュリティ、IPアドレス、DNS、Proxyの設定、MTU値がある。 セキュリティは「セキュリティなし」「WEP」「WPA-PSK(TKIP)」「WPA2-PSK(TKIP)」「WPA-PSK(AES)」「WPA2-PSK(AES)」に対応。 「セキュリティなし」、「WEP」、「WPA-PSK(TKIP)」はセキュリティ上、推奨できない。「WPA2-PSK(AES)」が最も安全。 いつの間に通信 ソフトの自動受信を「受信する」にすると、体験版や無料ソフトがいつの間に通信で届く場合がある。 本体情報の送信を「送信する」にすると、本体の使用状況（プレイ履歴や設定）などが任天堂に送られ、今後の製品開発に役立てられる。 DSソフト用設定 DSソフトで使われる接続設定。設定方法は従来のニンテンドーDSと同じ。 WPSには対応していない。 Wi-Fiユーザー情報の移動や消去は、DSソフトから「Wi-Fiコネクション設定」を起動しないと行えない。 DS同様、セキュリティは「セキュリティなし」と「WEP」のみであるため、マルチセキュリティ（複数のセキュリティ設定を同時に使うことのできる機能）に対応した無線LANアクセスポイントを使い、PCなどのネットワークと隔離したほうが好ましい。 その他の情報 利用規約の確認と、MACアドレスの確認をすることができる。 保護者による使用制限 暗証番号を設定すると、以下の項目について個別に制限をすることができる。 年齢制限：DSi/3DSソフトのCERO年齢制限に基づき、ソフトの起動を制限できる（DS用ソフトには適用されない）。 インターネットブラウザーの起動 ニンテンドーeショップでの物品の購入 3D映像の表示：3DSの3D機能を完全に無効にできる。この制限をオンにすると、ソフトを起動する前に3D表示に切り替えるか訊かれる。 写真や画像・音声・動画・長文テキストの送受信：写真や音声などのユーザーコンテンツの送受信が制限される。例えば、撮影した画像をワイヤレスでやりとりすることや、「ポケットモンスター ブラック・ホワイト」のライブキャスター機能（ビデオチャット）が制限される。 他のユーザーとのインターネット通信 他のユーザーとのすれちがい通信：この制限をオンにすると、上画面に「すれちがい通信」が表示されなくなる。 フレンドの登録 DSダウンロードプレイの使用：「ニンテンドー3DSダウンロードプレイ」については制限されない。 配信動画の視聴 データ管理 3DSのデータ（SDカード内のソフト、追加データ、および更新データ）、DSiウェアのデータ（本体/SDカード）、すれちがい通信監理、受信拒否設定の初期化を行うことができる。 データの1ブロックはDSiやWiiと同じく128KBとなる。 その他の設定 ユーザー情報、日付と時刻、タッチスクリーンの補正、3Dスクリーン確認、サウンド（モノラル/ステレオ/サラウンド）、マイクテスト、外側カメラの補正、スライドパッドの補正、ソフトとデータの引っ越し、本体の更新、本体の初期化を行うことができる。 ▲上に戻る その他 ニンテンドー3DSはソフトのプレイ時間や歩数などを自動で記録する機能がある。記録された情報は内蔵ソフトの「思い出きろく帳」で見ることができる。 ▲上に戻る 本体機能更新 本体機能の更新により、3DS本体の安定性やパフォーマンスが向上したり、新しい機能が追加されたりする。 本体更新はインターネットに接続して行えるほか、一部のニンテンドー3DSソフトには更新データが搭載されている。 バージョン 4.3.0-10J への更新による主な変更点 『ニンテンドーeショップ』の安定性向上 システムの安定性や利便性の向上 バージョン 4.2.0-XJ への更新による主な変更点 『ニンテンドーeショップ』のセキュリティ向上 システムの安定性や利便性の向上 バージョン 4.1.0-XJ への更新による主な変更点 『マリオカート7』の更新データ適用に対応 システムの安定性や利便性の向上 バージョン 4.0.0-7J への更新による主な変更点 『ニンテンドーeショップ』のインターフェースが改善 HOMEメニューのソフトをフォルダにまとめられるように パッケージソフトに「更新データ」（所謂パッチ）を適用できるように システムの安定性や利便性の向上 バージョン 3.0.0-6J への更新による主な変更点 本体内蔵ソフトの安定性が向上 バージョン 3.0.0-5J への更新による主な変更点 3.0.0-5Jは2011年12月7日に配信開始。 『ニンテンドー3DSカメラ』の機能追加(3Dムービーの撮影／再生機能) 『すれちがいMii広場』の機能追加(いつの間に通信に対応して、「ピースあつめの旅」や「すれちがい伝説」に新しい要素など) 『ソフトとデータの引っ越し』の機能に「ニンテンドー3DSから引っ越し」を追加 『ニンテンドーeショップ』の利便性向上(購入したソフトをいつの間に通信を利用してあとから受信する機能の追加など) ニンテンドー3DS本体機能の追加（HOMEメニューの「カメラモード」に、QRコードの情報を読み取って、ホームページや『ニンテンドーeショップ』のページを表示できる機能を追加） システムの安定性や利便性の向上 バージョン 2.1.0-4J への更新による主な変更点 2011年7月26日に配信開始。 本体内蔵ソフトの安定性や利便性の向上 バージョン 2.1.0-3J, 2J, 1J, 0J への更新による主な変更点 2011年6月16日に配信開始。 「リッジレーサー3D」の画面が止まる症状の修正【2.0.0-2Jからの更新のみ】 システムの安定性や利便性の向上 2.1.0-1J, 0J の本体には、2.0.0-2J への更新のうち、次の変更点が含まれない「インターネットブラウザー」の追加 「ニンテンドーeショップ」の追加 「ソフトとデータの引っ越し」の中の「ニンテンドーDSiから引っ越し」の追加 期間限定 3D Movie「スーパーマリオブラザーズのテーマ」を削除【1.1.0-1Jからの更新のみ】 バージョン 2.0.0-2J への更新による主な変更点 2011年6月7日に配信開始。 「インターネットブラウザー」の追加 「ニンテンドーeショップ」の追加 「ソフトとデータの引っ越し」の中の「ニンテンドーDSiから引っ越し」の追加 いつの間に通信の機能更新 システムの安定性や利便性の向上 期間限定 3D Movie「スーパーマリオブラザーズのテーマ」を削除【1.1.0-1Jからの更新のみ】 バージョン 1.1.0-1J, -0J への更新による主な変更点 2011年3月2日に配信開始。1.1.0-0Jは一部の3DSソフトに内蔵されている。 システムの安定性向上 いつの間に通信の機能更新 ネットワーク接続機能の改善 「ミュージックライブの3D映像」を追加【1.1.0-1Jのみ】 将来追加されるかもしれない機能 カッコ内はソース（元の情報）。 ※実際に追加される保証がないものもあります。 フレンドリストから対戦(http //www.nintendo.co.jp/3ds/interview/hardware/vol6/index2.html) 年内にアイテム課金システムの整備（http //www.nintendo.co.jp/ir/library/events/110729qa/05.html） 11月（予定）の更新 3D動画の撮影機能の追加 すれちがいMii広場の強化 ニンテンドーeショップの改善 ▲上に戻る
https://w.atwiki.jp/ssb4vip/pages/17.html
2014/10/25 MiiファイターによるWiiU版宣伝に便乗的なタイマン大会改め二夜連続VIPスマブラ3DS大会一日目 優勝：ポカリ 準優勝：アルカ 4位：SWAT、スピードワゴン 総勢参加者3名に終わった前大会だったが、今回はなんと11名もの参加者が集まった そのため二つのブロックに分けて総当たりを行い、上位2名が決勝Tに進出する形式が取られた 前回は一人一種類のMiiファイターしか使えなかったMiiファイター大会 しかし今回は一人何種類も別のMiiファイターが仕えたため、様々な種類のMiiファイターが入り乱れる大会となった 優勝したのはポカリ 持ちキャラ以外でも優勝していく力強さを見せつけた 使用キャラは前大会の優勝キャラと同じ格闘Miiファイターだった 362 名前：以下、変態にかわりまして紳士がお送りします[sage] 投稿日：2014/10/25(土) 23 04 59 ID NWladRaY0 [12/12]格闘以外っているのかなこれ 余談だが、格闘Miiファイターを使うスマブラプレイヤー古森霧がスマバトで準優勝したのもちょうどこの10/25 この頃から徐々に格闘Miiファイターは壊れキャラとしての名声（？）を高めていくことになる…… 参加者一覧 1,ポカリ 2,アイス 3,Mira.inc 4,そうりょリフ 5,スピードワゴン 6,しながわ 7,いわた 8,SWAT 9,イルミ 10,アルカ 11,のヮの
https://w.atwiki.jp/wiiware/pages/102.html
みんなで対戦パズル 上海Wii みんなで対戦パズル 上海Wiiデータ ソフト紹介(メーカーより) 人気ソフトランキング ソフト紹介・感想 データ メーカー：サンソフト ジャンル：対戦パズル 配信日：2009/4/7 ポイント：800 プレイ人数：1~4 使用ブロック数：239 対応コントローラー：Wiiリモコン Wi-Fi対応：ニンテンドーWi-Fiコネクション対応 ソフト紹介(メーカーより) 人気の定番パズル「上海」が対戦パズルで登場！ 「上海」は、同じ絵柄の麻雀牌を2個1組で取っていく簡単なルールのパズルゲーム。みんなで楽しく遊べます。 「みんなで上海」は、真ん中に積まれた麻雀牌をみんなで取り合います。ルーレットが止まればアイテムゲット！アイテム攻撃された人はリモコンを振って！アイテム効果時間を減らせます。得点が高い人が勝ちとなります。 「ひとりで上海」は、ひとりでとことん遊べるモード。連鎖･グループ・連番で取るとさらに得点アップ！ハイスコアになるとニンテンドーWi-Fiコネクションに接続して全国のプレイヤーとランキングを競えます。 人気ソフトランキング 09年４月 日 月 火 水 木 金 土 09年５月 日 月 火 水 木 金 土 13 14 17 16 16 15 16 17 18 19 14 14 13 10 ９ ８ ８ 19 19 19 20 20 20 ７ ７ ７ ９ ９ 10 10 10 10 10 11 13 ※カレンダー内の数字は順位。過去の2chスレに書き込まれたランキングに基づく。 ※背景色が■の日は配信開始日 ソフト紹介・感想 名前 コメント
https://w.atwiki.jp/marsdaybreaker/pages/2018.html
手製の木製パズルの材料セット（てせいのもくせいぱずるのざいりょうせっと） はーとくらふとにて販売中。 手製の木製パズルを作成することができる。 Ｌ：手製の木製パズルの材料セット ＝ ｛ ｔ：名称 ＝ 手製の木製パズルの材料セット（アイテム） ｔ：要点 ＝ 板，糸のこぎり，指南書のコピー ｔ：周辺環境 ＝ 手芸品店 ｔ：特殊 ＝ ｛ ＊手製の木製パズルの材料セットのアイテムカテゴリ ＝ ，，，｛携帯型アイテム，消費型アイテム｝。 ＊手製の木製パズルの材料セットの位置づけ ＝ ，，，手芸品材料。 ＊手製の木製パズルの材料セットの特殊能力 ＝ ，，，＜手製の木製パズル＞を作成することができる。 ＊手製の木製パズルの材料セットの消滅 ＝ ，，，＜＊手製の木製パズルの材料セットの特殊能力＞を使用した場合消滅する。 ｝ ｔ：→次のアイドレス：なし ｝ 保有国一覧 藩国名 入手履歴 保有者 使用履歴 現在所持数 天領 09/12/26：購入 緋璃・ロッシ 09/12/26：消費 0 09/05/10：購入 やひろ 09/05/10：消費 0 レンジャー連邦 09/12/25：購入 城 華一郎 09/12/25：消費 0 後ほねっこ男爵領 09/07/01：瑛の南天より譲渡 火足水極 09/07/01：消費 0 09/07/01：購入 瑛の南天 09/07/01：火足水極へ譲渡 0 参考資料 はーとくらふと アイドレスWiki：手製の木製パズルの材料セット(未掲載) 上へ 戻る 編集履歴： 藻女＠神聖巫連盟 (2009/07/15) 矢上麗華＠土場藩国 (2009/12/29) イラスト製作：松井＠FEG (2009/5/18)
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 （文責：片山 功士） 今日： - 人 昨日： - 人 トータル： - 人
https://w.atwiki.jp/pokecharaneta/pages/13387.html
気持ちよさ連鎖パズル トリオンキューブ キャラクター コメント タイプ1：いわ バンダイナムコゲームスのナムコレーベルから2006年8月3日に発売されたニンテンドーDS用の落ち物パズルゲーム。 キャラクター バオップ：キャプテン エンペルト：宇宙船 NN：ペンコ ディアンシー：ヒメ コメント 名前 コメント すべてのコメントを見る
https://w.atwiki.jp/tsukuba-rubiks/pages/140.html
～ ルービック系 回転パズル（初級） ～ 活動で扱ったルービック系回転パズルを紹介します（初級編）。 比較的易しく、頑張れば自力で解ける（解けそう）なパズルを集めました。 易しいとは言いつつも、そう簡単にはいかないものです。 「いいね！」と思ったら投票ボタンをクリック！ ルービック系回転パズル： 【初級】 【中級】 【上級】 【超上級】 [24] 2x2x2 Cube （2014/10/17 掲載） 難易度： やや易しい 通常の3x3x3キューブよりも分割の少ないパズルです。お店などでもよく見かけますね。 4色x6面=24色、パーツ数は8つだけ。通常のキューブよりも確かに難易度は低くなっています。 しかし、3x3x3は難しいけどこれならできそう！と思って挑戦すると。。。痛い目見ます（笑） 誰もが通る道ですね。パーツの少ないパズルは、やり方次第で上手くいったりします。（Tanno） 適当にクルクル回してれば、１面は揃います、１面は。（Kankan） [11] Pyraminx（ピラミンクス） （2014/05/12 掲載） 難易度： 易しい 各面が正三角形の、正四面体パズルです。面と頂点が回転します。比較的易しく、 よく考えればできる！といったレベルなので、立体パズルの入門としておすすめです。 自分で考えて揃えられる楽しさが味わえると思います。（Tanno） なんとなくでできたりします。（tanA） 頂点の回転意味ないじゃんとか言っちゃダメ！（higu） 頂点の回転意味ないじゃん（Kankan） [09] Skewb（スキューブ） （2014/04/06 掲載） 難易度： やや易しい 各頂点を中心に斜めに回転します。一度に動くパーツが多いですが、パーツの総数が 少ないので何とかなるタイプのパズルです。2x2x2と同じ系統ですね。動かした時にどこが 変化したのかを把握しやすいです。とは言いつつ、私はなかなか苦戦し、難しい動きを 組み合わせて無理やり揃えました（笑）。もっと簡単な動きで揃えられるはずです。（Tanno） KIAIでできたりします。（tanA） 工夫すれば難しい考え方を使わずに解くことが出来ます。（higu） [12] 3Dギアキューブ （2014/05/12 掲載） 難易度： 易しい （キーワード： ギア） 面を回転させると、同時に中心や辺のパーツも移動や回転をする、非常に面白い動きを するパズルです。ただ、やってみると実はそれほど色が混ざらない。難易度は低いです。 ギアの動きを把握できなくてもなんとなくで揃えられます。（Tanno） 指挟みに注意です。（tanA） 回してたら揃っちゃった系パズルです。揃っちゃったら、なぜ揃ったのか考えてみましょう。（higu） [17] Helicopter Cube （2014/06/12 掲載） 難易度： やや易しい 立方体で、まさかの”辺”が回転するパズルです。回し方によっては形が変わります。 基本は辺の反転（180°回転＝2回で元に戻る）だけであり、また、パーツや色が規則的に動く ことが多いので、動きを把握しやすいです。しっかり考えながら揃えていけるのが楽しいです。（Tanno） 形を変えないように崩しても、形を変えながら揃えた方が簡単な場合があります。（higu） [22] 3x3x2 （2014/10/17 掲載） 難易度： やや易しい 各面が回転できますが、長方形の面は180°回転しかできないため、通常のキューブの やり方を応用できない場合があります。最初は結構戸惑いましたが、より単純な動きで 揃えられるので、試行錯誤で探すのが楽しい。手軽に挑戦できるパズルです。（Tanno） [23] 3x3x4 （2014/10/17 掲載） 難易度： 普通 3x3x2の層が増えたパズルです。長方形の面は180°回転しかできません。 3x3x2ができたら次はこちらに挑戦。やはり増えた2層をどう揃えるかがポイントでした。 私も結構悩みました。易しいほうだと言いつつも、そう簡単にはいかない感じ。（Tanno） [37] Dice Cube （2015/01/18 掲載） 難易度： 易しい 同好会メンバーのhiguさんが作成した、サイコロ風キューブ。黒キューブに 21個の丸いシールが貼ってあり、サイコロのように①～⑥の面を作れます。 余裕余裕とか思って挑戦してみると...意外とよく考えないとできなかったり。（Tanno） [番号]は掲載した順番、日付は掲載した日付です。 難易度は、通常のキューブを「普通」の基準としています（書いた人の感想）
https://w.atwiki.jp/3ds_notifications/pages/533.html
ニュースタイトルをクリックすると記事が表示されます。 新規追加映像(1月31日確認) ニャニャニャ! ネコマリオタイム 第107回スナックワールド トレジャラーズ 魔王デミグラス降臨!!篇レコチョクちぇっく 2018年1月31日付ベヨネッタ・ベヨネッタ2 紹介映像 新規追加ソフト(1月31日確認) 更新データ Ver.3.0 スナックワールド トレジャラーズ 更新データ Ver. 1.3 Minecraft New 3DS Edition カービィ バトルデラックス! 特別体験版 ※「更新データ Ver.3.0 スナックワールド トレジャラーズ」のVer.の後に半角スペースがないのは原文のままです。 ケムコ ウィンターセール！ RPG2本が最大44%OFF！ ケムコ ウィンターセール！RPG2本が最大44%OFF！ 以下のソフトが期間限定でお求めやすくなります。期間：2018年2月7日(水) 10 00 ～2018年2月21日(水) 9 59◇ニンテンドー3DSダウンロードソフト こんな僕が救う世界【1,080円 → 700円】 レグナタクティカ【1,080円 → 600円】 1月31日更新 1月31日更新 以下の体験版が遊べるようになりました。『カービィ バトルデラックス! 特別体験版』（＿＿＿＿＿情報を見る＿＿＿＿＿）【1月31日 配信開始ソフト】◇ニンテンドー3DSダウンロードソフト カービィ バトルデラックス! 特別体験版 配信終了ソフトのおしらせ 配信終了ソフトのおしらせ 以下のソフトの配信を終了いたします。◆ニンテンドーDSiウェア『ビジュエルド・ツイスト™』配信終了日時 2018年2月7日(水) 11 00 ※1月31日掲載 1月26日更新 1月26日更新 【1月26日 配信開始ソフト】◇3DSバーチャルコンソール ポケットモンスター クリスタルバージョン 新規追加映像(1月24日確認) レコチョクちぇっく 2018年1月24日付 新規追加ソフト(1月24日確認) 更新データ Ver. 1.3 妖怪ウォッチバスターズ2 ソード 更新データ Ver. 1.3 妖怪ウォッチバスターズ2 マグナム 1月24日更新 1月24日更新 シルバースタージャパンのソフトが、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿） 新規追加映像(1月18日確認) マリオ＋ラビッツ キングダムバトル アドベンチャーパック トレーラーNintendo Labo(ニンテンドーラボ) 初公開映像 新規追加映像(1月17日確認) ニャニャニャ! ネコマリオタイム 第106回レコチョクちぇっく 2018年1月17日付 新規追加ソフト(1月17日確認) 更新データ Ver. 1.3 牧場物語 ふたごの村＋ シルバースター半額セール シルバースター半額セール 以下のソフトが期間限定でお求めやすくなります。期間：2018年1月24日(水) 10 00 ～2018年2月7日(水) 9 59◇ニンテンドー3DSダウンロードソフト タッチバトル戦車3D【500円 → 250円】 タッチバトル戦車3D-2【500円 → 250円】 タッチバトル戦車3D-3【500円 → 250円】 タッチバトル戦車3D-4 ダブルコマンダー【500円 → 250円】 3Dブロック崩し 【500円 → 250円】 ラビラビ外伝 Witch s Cat (ウィッチズキャット)【700円 → 350円】 ラビ×ラビ えぴそーど3【600円 → 300円】 怪盗スティナと30の宝石【700円 → 350円】 3次元エアホッケー【500円 → 250円】 ブラッディヴァンパイア【600円 → 300円】 ハイパーパドル ブロックラッシャー【500円 → 250円】 文字パズル ことだまーる★【500円 → 250円】 タッチバトル忍者【500円 → 250円】 激投戦士 ナゲルンダー【500円 → 250円】 ドローンファイト【500円 → 250円】 超獣ギガ大戦【700円 → 350円】 ノアの揺り籠【600円 → 300円】 1月17日更新 1月17日更新 配信中のニンテンドー3DSダウンロードソフト『Battleminerz』をご紹介しています。（＿＿＿＿＿情報を見る＿＿＿＿＿）テヨンジャパンのソフトが、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿）オーイズミ･アミュージオのソフトが、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿）ニンテンドー3DSカードソフトの年間人気ランキングをご紹介しています。（＿＿＿＿＿情報を見る＿＿＿＿＿）ニンテンドー3DSダウンロード専用ソフトの年間人気ランキングをご紹介しています。（＿＿＿＿＿情報を見る＿＿＿＿＿）ニンテンドー3DSバーチャルコンソールの年間人気ランキングをご紹介しています。（＿＿＿＿＿情報を見る＿＿＿＿＿）【1月17日 配信開始ソフト】◇ニンテンドー3DSダウンロードソフト Battleminerz 配信終了ソフトのおしらせ 配信終了ソフトのおしらせ 以下のソフトの配信を終了いたします。◆3DSカード/ダウンロードソフト『マギ はじまりの迷宮』※体験版の配信も終了いたします。配信終了日時 2018年1月25日(木) 12 00 ※1月17日掲載 新規追加映像(1月12日確認) ポケットモンスター クリスタルバージョン プレイ映像 『名探偵ピカチュウ ～新コンビ誕生～』 配信終了のおしらせ 『名探偵ピカチュウ ～新コンビ誕生～』配信終了のおしらせ 以下のソフトの配信を終了いたしました。◆ニンテンドー3DSダウンロードソフト『名探偵ピカチュウ ～新コンビ誕生～』配信終了日時 2018年1月12日(金) 23 002018年3月23日発売予定の 『名探偵ピカチュウ』は、 『名探偵ピカチュウ ～新コンビ誕生～』 のゲーム内容をすべて含んでいます。 『名探偵ピカチュウ ～新コンビ誕生～』 をお持ちの方は、 発売から2018年4月22日まで、 ニンテンドーeショップで 『名探偵ピカチュウ』を 1,500円お安く購入いただけます。 くわしくは『名探偵ピカチュウ』 公式サイトをご確認ください。 ※1月12日掲載 ※改行の位置等の記録をし損ねました。申し訳ございません。 新規追加映像(1月11日確認) DARK SOULS REMASTERED [Nintendo Direct mini 2018.1.11]Nintendo Direct mini 2018.1.11 Nintendo Direct mini 2018.1.11 Nintendo Direct mini 2018.1.11 「Nintendo Direct mini 2018.1.11」の 映像や出展タイトルの映像を公開しました。（＿＿＿＿＿情報を見る＿＿＿＿＿） 新規追加映像(1月10日確認) Battleminerz 紹介映像 新規追加ソフト(1月10日確認) Battleminerz 『IRONFALL -INVASION-』2周年記念 新春感謝セール！ 『IRONFALL -INVASION-』2周年記念新春感謝セール！ 以下のソフトが期間限定でお求めやすくなりました。期間：2018年1月10日(水) 10 00 ～2018年1月24日(水) 9 59◇ニンテンドー3DSダウンロードソフト IRONFALL -Invasion-【1,500円 → 980円】 「オーイズミ･アミュージオ」最大50％! ウィンターセール 「オーイズミ･アミュージオ」最大50％!ウィンターセール 以下のソフトが期間限定でお求めやすくなります。期間：2018年1月17日(水) 10 00 ～2018年1月31日(水) 9 59◇ニンテンドー3DSダウンロードソフト マイティー スイッチ フォース!【500円 → 350円】 マイティースイッチフォース! 2【800円 → 600円】 Teyon Japanソフトが最大50%OFF! 2018 新年アケオメSALE 3DS Ver! Teyon Japanソフトが最大50%OFF!2018 新年アケオメSALE 3DS Ver! 以下のソフトが期間限定でお求めやすくなります。期間：2018年1月17日(水) 10 00 ～2018年1月31日(水) 9 59◇ニンテンドー3DSダウンロードソフトミニゴルフリゾート【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）バードマニア3D【100円 → 80円】（＿＿＿＿＿情報を見る＿＿＿＿＿）バードマニア ウィンター 3D【100円 → 80円】（＿＿＿＿＿情報を見る＿＿＿＿＿）スピードX3D【400円 → 200円】（＿＿＿＿＿情報を見る＿＿＿＿＿）スピードX3D ハイパーエディション【150円 → 120円】（＿＿＿＿＿情報を見る＿＿＿＿＿）クレイジーカンガルー【100円 → 80円】（＿＿＿＿＿情報を見る＿＿＿＿＿）クレイジーチキン パイレーツ3D【100円 → 80円】（＿＿＿＿＿情報を見る＿＿＿＿＿）クレイジーチキン ディレクターズカット3D【100円 → 80円】（＿＿＿＿＿情報を見る＿＿＿＿＿）きょうりゅうペット3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ピックス3D【400円 → 200円】（＿＿＿＿＿情報を見る＿＿＿＿＿）スーパーリトルリス3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）モンスターシューター【700円 → 350円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ロボットレスキュー3D【150円 → 120円】（＿＿＿＿＿情報を見る＿＿＿＿＿）アウトドアズ･アンリーシュドアフリカ3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）バルダーダッシュXL 3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）9-in-1 アーケードコレクション【150円 → 120円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ペンギンペット3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ガバナー オブ ポーカー【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ピック･ア･ジュエル【200円 → 100円】（＿＿＿＿＿情報を見る＿＿＿＿＿）Castle Clout 3D 攻城戦線キャッスルクラウト【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ちっちゃなげ～む Vol.1 ナイトとドラゴンのヒマつぶし【300円 → 150円】（＿＿＿＿＿情報を見る＿＿＿＿＿）タートルテイル 亀島奪回【300円 → 150円】（＿＿＿＿＿情報を見る＿＿＿＿＿）小悪魔ココトの宇宙人くずし【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）カラフリラックス 色彩合わせ【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ハネカエリーノ【400円 → 200円】（＿＿＿＿＿情報を見る＿＿＿＿＿）リーグ オブ ヒーローズ【400円 → 200円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ポニーペット3D【500円 → 250円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ブルーキッド 2【300円 → 150円】（＿＿＿＿＿情報を見る＿＿＿＿＿）オーシャンランナー【300円 → 150円】（＿＿＿＿＿情報を見る＿＿＿＿＿）ドロップゾーン アンダーファイヤ【500円 → 250円】 （＿＿＿＿＿情報を見る＿＿＿＿＿） 1月10日更新 1月10日更新 配信中のニンテンドー3DSダウンロードソフト『マシンナイト』をご紹介しています。（＿＿＿＿＿情報を見る＿＿＿＿＿）ニンテンドー3DSダウンロードソフト 『IRONFALL -INVASION-』が、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿）スターサインのソフトが、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿）【1月10日 情報公開ソフト】◆ニンテンドー3DSダウンロードソフト Battleminerz 【1月10日 配信開始ソフト】◇ニンテンドー3DSダウンロードソフト うごくまんが デジコロ でんぢゃらすじーさん邪 Vol.014 くりだせ必殺技じゃっっ!! マシンナイト ※一部のトピックの改行の位置等は記録し損ねました。申し訳ございません。 新規追加ソフト(1月10日確認) ポケットモンスター クリスタルバージョン 1月8日更新 1月8日更新 ニンテンドー3DSカード/ダウンロードソフト『ポケットモンスター クリスタルバージョン』の予約販売(あらかじめダウンロード)を開始しました。（＿＿＿＿＿情報を見る＿＿＿＿＿）【1月8日 予約販売開始ソフト】◇3DSカード/ダウンロードソフト ポケットモンスター クリスタルバージョン ※ソフトの区分が「3DSカード/ダウンロードソフト」になっているのは原文のままです。 BGM変更(2018年1月1日～) ニンテンドーeショップ 新春初売りセール ニンテンドーeショップ新春初売りセール ニンテンドー3DSソフト 計45タイトルがお求めやすくなる 「ニンテンドーeショップ 新春初売りセール 2018」を開催中です。◆ニンテンドー3DSカードソフトの セール情報はこちら（＿＿＿＿＿情報を見る＿＿＿＿＿）◆ニンテンドー3DSダウンロードソフトの セール情報はこちら（＿＿＿＿＿情報を見る＿＿＿＿＿）◆バーチャルコンソールの セール情報はこちら（＿＿＿＿＿情報を見る＿＿＿＿＿）期間：2018年1月1日（月）0 00 ～2018年1月14日（日）23 59ぜひこの機会にお買い求めください。 1月1日更新 1月1日更新 アークシステムワークスのソフトが、期間限定でお求めやすくなりました。（＿＿＿＿＿情報を見る＿＿＿＿＿） 2017年12月へ←｜一番上↑に戻る｜→2018年2月へ
https://w.atwiki.jp/expornentalidle/pages/22.html
imageプラグインエラー ご指定のファイルが見つかりません。ファイル名を確認して、再度指定してください。 (Screenshot_2024-04-06-14-36-10-77_1ce1c44d478a5a7e260823d4d306d39e.jpg)