約 1,046,180 件
https://w.atwiki.jp/nintendo3ds/pages/14.html
これまでに発売された3DSのソフトの一覧。 [部分編集] 最新情報は公式を確認してください。http //www.nintendo.co.jp/3ds/software/index.html 一覧が正しいとは限りません。 発売日 タイトル 価格 メーカー 2014年以降 ゼルダの伝説神々のトライフォース2 任天堂 マリオゴルフ ワールドツアー 大乱闘スマッシュブラザーズ for Nintendo 3DS マリオパーティ ヨッシーアイランド ソニプロ イメージエポック チョコ犬 5,040円 日本コロムビア ヒーローバンク セガ VitaminX Evolution Plus 4,197円 ディースリー・パブリッシャー シアトリズム ファイナルファンタジー カーテンコール スクウェア・エニックス マギ 新たなる世界 バンダイナムコゲームス メイプルストーリー 運命の少女 ネクソン 牧場物語 つながる新天地 マーベラスAQL デビルサバイバー2 ブレイクレコード 6,279円 アトラス 黒子のバスケ 勝利へのキセキ バンダイナムコゲームス ゲームセンターCX 3丁目の有野 グレフ メタルファイト ベイブレード4D×ZEROG アルティメットトーナメント 5,040円 海王 マーベラスAQL おさわり探偵 小沢里奈 ライジング3 なめこはバナナの夢を見るか？ サクセス 大戦略 大東亜興亡史 第二次世界大戦勃発！ 〜枢軸軍対連合軍 全世界戦〜 6,825円 システムソフト・アルファー 天空の機士ロデア 角川ゲームス EST（仮） ディースリー・パブリッシャー ドリームトリガー3D コロリンパ シリーズ（仮） ハドソン OMEGA FIVE（仮） BONK（仮） BOMBERMAN（仮） だるまさんがころんだ SRPG（仮） アルファ・ユニット カラス3D（仮） マイルストーン タンクビート3（仮） もっと目で右脳を鍛える速読術3（仮） ピチレモンアイドルデビュー（仮） カルチャーブレーン ペルソナ（仮） アトラス シミュレーションRPGプロジェクト（仮） イメージエポック NINJA GAIDEN（仮） コーエーテクモゲームス 魂斗羅シリーズ KONAMI チョコボレーシング リカちゃん（仮） タカラトミー ジュエルペット ハッピネス（仮題） フリュー ZAOO デジタルワークスエンターテインメント 死神鬼 レイトン（仮） レベルファイブ 2013年 2012年 2011年 2013年 発売日 タイトル 価格 メーカー シカクいアタマをマルくする。エキスパート漢字・計算・図形 3,990円 IEインスティテュート シカクいアタマをマルくする。ジュニアこくご・さんすう・しゃかい・りか・せいかつ 3,990円 シカクいアタマをマルくする。マスター国語・算数・社会・理科 3,990円 2013年 マル合！ 3D ナナミと一緒に学ぼ！ English上達のコツ 理論編 3,800円 メディアファイブ マル合！ 3D ナナミと一緒に学ぼ！ TOEIC（R）TEST対策編 3,800円 ドラゴンクエストモンスターズ2 イルとルカの不思議なふしぎな鍵 スクウェア・エニックス 8月29日 Starry☆Sky〜in Autumn〜3D 3,980円 honeybee 9月5日 エルミナージュ ゴシック 3D REMIX ～ウルム・ザキールと闇の儀式～ 6,090円 スターフィッシュ･エスディ 9月14日 モンスターハンター4 5,990円 カプコン モンスターハンター4 アイルーホワイト 26,000円 モンスターハンター4 ゴア・マガラブラック 26,000円 9月19日 三國志 5,040円 コーエー 三國志 プレミアムBOX 7,040円 信長の野望 5,040円 信長の野望 プレミアムBOX 7,040円 信長の野望 三国志ツインパック 9,240円 ムシブギョー 5,980円 バンダイナムコゲームス ジュエルマスター 3,980円 9月26日 魔界王子 devils and realist 代理王の秘宝 5,980円 バンダイナムコゲームス 魔界王子 devils and realist 代理王の秘宝 超豪華限定版代理王選定BOX 7,980円 Fate/Kaleid linerプリズマ☆イリヤ 6,300円 角川ゲームス ディズニー エピックミッキー ミッキーのふしぎな冒険 5,040円 スパイク・チュンソフト メタルファイト ベイブレード 4D×ZEROG アルティメットトーナメント 5,040円 旅情ものがたり / 長良川鉄道編 6,090円 ソニックパワード ガーデニングママ：ママと森のなかまたち 5,040円 オフィスクリエイト 10月3日 SPEC 〜干〜 5,480円 バンダイナムコゲームス 10月12日 ポケットモンスター X 4,800円 ポケモン ポケットモンスター Y 4,800円 10月17日 戦闘中 伝説の忍びとサバイバルバトル 4,980円 バンダイナムコゲームス 10月24日 ソニック ロストワールド 5,229円 セガ 10月31日 Starry☆Sky〜in Winter〜3D 3,980円 honeybee ダンボール戦機WARS 4,980円 レベルファイブ キャラペット つくって！そだてて！キャラクター小学校 5,229円 カルチャーブレーン 11月7日 エクステトラ 5,700円 フリュー たまごっち！ せーしゅんのドリームスクール 4,980円 バンダイナムコゲームス メタルマックス4 〜月光のディーヴァ〜 6,980円 角川ゲームス バンダイナムコゲームス PRESENTS Jレジェンド列伝 バンダイナムコゲームス 11月14日 ジュエルペット カフェで魔法のクッキング！ 5,229円 フリュー モデル☆おしゃれオーディション ドリームガール 5,980円 アルケミスト 星霜のアマゾネス 6,090円 アークシステム メダロットDUAL（デュアル） カブトVer. 6,090円 ロケットカンパニー メダロットDUAL（デュアル） クワガタVer. 6,090円 ワールドサッカー ウイニングイレブン 2014 4,980円 コナミ 大合奏バンドブラザーズP 4,800円 任天堂 ドラちえ ミニドラ音楽隊と7つの知恵 4,800円 小学館 11月21日 ワンピース アンリミテッドワールド レッド 5,980円 バンダイナムコゲームス ワンピース アンリミテッドワールドR チョッパーピンクver 25,980円 ワンピース アンリミテッドワールドR ルフィレッドver 25,980円 アイカツ！2人のmy princess 5,480円 バイオハザードリベレーションズ Best版 2,990円 カプコン とんがりボウシと魔法の町 スペシャルパック RITHG 2,940円 コナミ クッキングママ5 5,040円 オフィスクリエイト 11月28日 ハイスクールD×D 6,300円 角川ゲームス ハイスクールD×D （限定版） 9,240円 初音ミク Project mirai2 6,279円 SEGA 初音ミク Project mirai 2 ぷちぷくパック 7,665円 トリコ アルティメットサバイバル 5,980円 バンダイナムコゲームス ディズニーインフィニティ トイ・ボックス・チャレンジ スターターパック 6,980 仮面ライダー トラベラーズ戦記 5,480円 難攻不落三国伝 5,800円 クロン わんニャンペットショップ 5,040円 12月5日 ガイストクラッシャー 4,990円 カプコン ガイストクラッシャー 爆アツ！ガイフォンセット 5,990円 ブレイブリーデフォルト フォーザ・シークウェル 4,990円 スクウェア・エニックス イナズマイレブンGOギャラクシー ビックバン レベルファイブ イナズマイレブンGOギャラクシー スーパーノヴァ 遊戯王ZEXAL 激突！デュエルカーニバル 4,980円 KONAMI 進撃の巨人 6,090円 スパイク・チュン パックワールド 4,980円 バンダイナムコゲームス 12月12日 A列車で行こう3D 6,090円 ARTDINK VitaminZ Revolution 4,179円 ディースリー・パブリッシャー パズル ドラゴンZ 4,400円 ガンホー こびとづかん こびとの不思議 実験セット 5,040円 日本コロムビア ホームタウンストーリー 4,800円 スパイク・チュン 2013年 発売日 タイトル 価格 メーカー 6月20日 クマトモ 4,980円 バンダイナムコゲームス さよなら 海腹川背 4,980円 アガツマ･エンタテイメント 忍者じゃじゃ丸くん さくら姫と火竜のひみつ 4,980円 ハムスター 6月13日 超速変形ジャイロゼッター アルバトロスの翼 5,490円 スクウェアエニックス ドンキーコング リターンズ3D 4,800円 任天堂 5月23日 真・女神転生Ⅳ 6,980円 アトラス 真・女神転生Ⅳ 限定モデル 25,800円 たまごっちのドキドキ☆ドリームおみせっち 4,980円 バンダイナムコゲームス ぬいぐるみのケーキ屋さん 魔法のパティシエール 5,040円 カルチャーブレーン 5月16日 G1グランプリ Genki the Best 2,940円 元気 4月25日 名探偵コナン マリオネット交響曲 5,480円 バンダイナムコゲームス Starry☆Sky～in Spring～3D 3,980円 honeybee 4月18日 オシャレでかわいい 子犬と遊ぼ！-街編- 5,040円 エム・ティー・オー トモダチコレクション 新生活 4,800円 任天堂 トモダチコレクション 新生活 パック 22,800円 4月11日 カードファイト!! ヴァンガード ライド トゥ ビクトリー 5,229円 フリュー 4月04日 キッパーの英語教室 Floppy’s Phonics（フロッピーズ フォニックス）Vol.1 3,990円 IEインスティテュート キッパーの英語教室 Floppy’s Phonics（フロッピーズ フォニックス）Vol.2 キッパーの英語教室 Floppy’s Phonics（フロッピーズ フォニックス）Vol.3 Farming Simulator 3D ポケット農園 6,090円 インターグロー 3月28日 初心者から日本一まで そろばん・あんざん・フラッシュ暗算 5,800円 クロン NANO ASSAULT キャンペーンプライス版 2,940円 サイバーフロント 3月22日 バイオハザード ザ・マーセナリーズ 3D ＆ リベレーションズ バリューパック 6,990円 カプコン 3月20日 Castlevania - Lords of Shadow - 宿命の魔鏡 4,980円 KONAMI ルイージマンション2 4,800円 任天堂 プリティーリズム マイ☆デコレインボーウエディング 6,290円 タカラトミーアーツ 3月14日 謎惑館 ～音と音の狭間に～ Best Price! 2,490円 カプコン スーパーロボット大戦UX 7,140円 バンダイナムコゲームス ニンテンドー3DS LL スーパーロボット大戦UXパック 26,040円 3月07日 みんなでオートレース3D 6,090円 インターグロー ドラえもん のび太とひみつ道具博物館（ミュージアム） 5,229円 フリュー 2月28日 おさわり探偵 なめこ大繁殖 3,990円 サクセス ドラゴンボールヒーローズ アルティメットミッション 5,800円 バンダイナムコゲームス レイトン教授と超文明Aの遺産 5,500円 レベルファイブ 2月21日 マギ はじまりの迷宮 5,800円 バンダイナムコゲームス 2月7日 パチパラ3D デラックス海物語 〜パチプロ風雲録・花 孤島の勝負師たち〜 6,090円 アイレムソフトウェアエンジニアリング ドラゴンクエストⅦ エデンの戦士たち 6,090円 スクウェアエニックス 2012年 発売日 タイトル 価格 メーカー 12月27日 ファンタジーライフ 5,800円 レベルファイブ イナズマイレブン1・2・3!! 円堂守伝説 5,800円 レベルファイブ 12月20日 アクリルパレット～彩りカフェ・cheers～ 5,040円 クロン とんがりボウシと魔法の町 4,980円 KONAMI ぼくは航空管制官 エアポートヒーロー3D 成田 with ANA 6,090円 ソニックパワード オシャレでかわいい 子犬と遊ぼ！-海編- 5,040円 エム・ティー・オー おしごとテーマパーク2 5,040円 カルチャーブレーン 12月13日 トリコ グルメモンスターズ! 5,800円 バンダイナムコゲームス イナズマイレブンGO2 クロノ・ストーン ネップウ 5,500円 レベルファイブ イナズマイレブンGO2 クロノ・ストーン ライメイ オレ様キングダム イケメン彼氏をゲットしよ！ もえキュン・スクールデイズ 5,040円 日本コロムビア ぷよぷよ！！スペシャルプライス 2,940円 セガ バイオハザード ザ・マーセナリーズ 3D （Best Price！） 2,990円 カプコン かわいい子猫3D 5,040円 エム・ティー・オー ねらって！ とばして！ リラックマ ぐらぐらスイーツタワー 5,040円 ロケットカンパニー 12月6日 ペーパーマリオ スーパーシール 4,800円 任天堂 アルティメット ヒッツ スライムもりもりドラゴンクエスト3 大海賊としっぽ団 2,940円 スクウェア・エニックス 11月29日 NARUTO−ナルト−SD パワフル疾風伝 5,230円 バンダイナムコゲームス アンチェインブレイズ エクシブ 6,279円 フリュー レイトン教授VS逆転裁判 5,980円 レベルファイブ 11月23日 ポケモン不思議のダンジョン ～マグナゲートと∞迷宮～ 4,800円 ポケモン 11月22日 おうちまいにち たまごっち 5,040円 バンダイナムコゲームス でんぢゃらすじーさんと1000人のお友だち邪 5,040円 エクストルーパーズ 5,990円 カプコン ピカピカナース物語2 5040円 日本コロムビア リズム怪盗R 皇帝ナポレオンの遺産 SEGA THE BEST 2,940円 セガ 11月15日 アイカツ！シンデレラレッスン 5,040円 バンダイナムコゲームス イナズマイレブン1・2・3!! 円堂守伝説 5,800円 レベルファイブ Newスーパーマリオブラザーズ2パック 22,800円 任天堂 11月8日 とびだせ どうぶつの森 4,800円 任天堂 とびだせ どうぶつの森パック 22,800円 ジュエルペット 魔法でおしゃれにダンス☆デコ～！ 5,229円 フリュー nicola監修 モデル☆おしゃれオーディション プラチナ 5,980円 アルケミスト 11月1日 ワールドサッカー ウイニングイレブン 2013 4,980円 KONAMI モンスターハンター3(トライ)Ｇパック 21,800円 カプコン レイトン教授VS逆転裁判 5,980円 レベルファイブ アンチェインブレイズ エクシヴ 6,279円 フリュー 10月25日 AKB48+Me 5,670円 角川ゲームス 10月11日 ブレイブリーデフォルト 6,090円 スクウェア・エニックス ブレイブリーデフォルト コレクターズパック 12,800円 プロジェクト クロスゾーン 6,280円 バンダイナムコゲームス ハローキティといっしょ！ ブロッククラッシュZ 4,200円 ドラス 09月27日 哭牙 KOKUGA 5,040円 グレフ ちび☆デビ！ 5,040円 アルケミスト わがままファッション GIRLS MODE よくばり宣言！ 4,800円 任天堂 09月13日 戦国無双 Chronicle 2nd 6,090円 コーエーテクモゲームス 新 絵心教室 3,800円 任天堂 メダロット7 カブトVer. 6,090円 ロケットカンパニー メダロット7 クワガタVer. 09月06日 ロストヒーローズ 6,280円 バンダイナムコゲームス パチパラ3D 大海物語2 With アグネス･ラム ～パチパラ風雲録･花 消されたライセンス～ 6,090円 アイレムソフトウェアエンジニング 08月30日 デビルサマナー ソウルハッカーズ 6,279円 アトラス 閃乱カグラ Burst -紅蓮の少女達― 5,980円 マーベラスAQL 08月23日 ぼくは航空管制官 エアポートヒーロー3D ホノルル 5,040円 ソニックパワード 08月02日 マダガスカル3 5,040円 ディースリー・パブリッシャー わんニャンどうぶつ病院2 5,040円 日本コロムビア スマイルプリキュア！ レッツゴー！ メルヘンワールド 5,040円 バンダイナムコゲームス 07月28日 Newスーパーマリオブラザーズ2 4,800円 任天堂 東北大学加齢医学研究所 川島隆太教授監修 ものすごく脳を鍛える5分間の鬼トレーニング 3,800円 07月26日 洞窟物語3D 5,040円 日本一ソフトウェア こびとづかん こびと観察セット 5,040円 日本コロムビア デカスポルタ 3Dスポーツ ゴールドセレクション 2,940円 KONAMI 07月19日 ドラかず のび太のすうじ大冒険 4,800円 小学館 レイマン オリジン 2,500円 ユービーアイソフト ルーンファクトリー４ 5,229円 マーベラスAQL 07月12日 ポケットサッカーリーグ カルチョビット 4,800円 任天堂 太鼓の達人 ちびドラゴンと不思議なオーブ 5,040円 バンダイナムコゲームス タイムトラベラーズ 5,980円 レベルファイブ 07月05日 世界樹の迷宮Ⅳ 伝承の巨神 6,279円 アトラス 逃走中 史上最強のハンターたちからにげきれ！ 5,040円 バンダイナムコゲームス ダンボール戦機 爆ブースト 4,400円 レベルファイブ 06月28日 探偵 神宮寺三郎 復讐の輪舞 5,040円 アークシステムワークス カルドセプト 4,800円 任天堂 06月21日 ハローキティとせかいりょこう! いろんなくにへおでかけしましょ 5,040円 コンパイルハート 06月14日 ヘビーファイア ザ チョーズン フュー 4,980円 ハムスター ゴン バクバクバクバク アドベンチャー 5,040円 バンダイナムコゲームス 05月31日 ドラゴンクエストモンスターズ テリーのワンダーランド3D 5,490円 スクウェア・エニックス ドラゴンクエストモンスターズ テリーのワンダーランド3D スペシャルパック 20,490円 ＧＵＩＬＤ０１ 3,980円 レベルファイブ 05月24日 G1グランプリ 6,090円 元気 ぼくは航空管制官 エアポートヒーロー3D 羽田 JAL EDITION 6,090円 ソニックパワード マリオテニス オープン 4,800円 任天堂 みんなの縁日 5,040円 バンダイナムコゲームス ハッピー☆アニマル牧場 3,990円 ユービーアイソフト 05月17日 パチパラ3D大海物語2～パチプロ風雲録・花 希望と裏切りの希望と裏切りの学園生活～ 6,090円 アイレムソフトウェアエンジニアリング 04月26日 SHIFTING WORLD 白と黒の迷宮 3,990円 アークシステムワークス 真・三國無双 VS 6,090円 コーエーテクモゲームス まめゴマ よいこ まるいこ げんきなこ 5,040円 日本コロムビア 04月19日 コード・オブ・プリンセス 6,090円 アガツマエンターテイメント Earthpedia 4,980円 学研教育出版 Nano Assault 5,040円 サイバーフロント ファイアーエムブレム 覚醒 4,800円 任天堂 ファイアーエムブレム 覚醒 スペシャルパック 19,800円 ガールズファッション3D めざせ！トップスタイリスト 3,990円 ユービーアイソフト ちょ～りっち！たまごっちのぷちぷちおみせっち 5,040円 バンダイナムコゲームス 04月12日 ニコリの数独3D 第2集 8つのパズルで1000問 3,990円 ハムスター 04月05日 ポヨポヨ観察日記 5,040円 IEインスティテュート ポヨポヨ観察日記 特装版（予約限定） 7,140円 TOEIC(R)テストトレーニング 3,990円 03月29日 KINGDOM HEARTS 3D［Dream Drop Distance］ 6,090円 スクウェア・エニックス KINGDOM HEARTS 3D［Dream Drop Distance］本体同梱版 21,090円 KINGDOM HEARTS 3D［Dream Drop Distance］10周年記念ボックス 15,000円 03月24日 スーパーマリオ3Dランドパック(アイスホワイト) 19,800円 任天堂 スーパーマリオ3Dランドパック(ミスティピンク) 03月22日 姫ギャル♥パラダイス メチカワ！アゲ盛り↑センセーション！ 5,040円 日本コロムビア 新・光神話 パルテナの鏡 5,800円 任天堂 パックマンパーティ3D 5,040円 バンダイナムコゲームス 03月17日 モンスターハンター3(トライ)Gはじめてハンターパック(コスモブラック) 19,800円 カプコン モンスターハンター3(トライ)Gはじめてハンターパック(フレアレッド) 03月15日 女の子と密室にいたら○○しちゃうかもしれない。 6,090円 ディースリー・パブリッシャー 03月08日 METAL GEAR SOLID SNAKE EATER 3D 5,980円 KONAMI METAL GEAR SOLID SNAKE EATER 3D PREMIUM PACKAGE 22,980円 初音ミク and Future Stars Project mirai 6,090円 セガ 初音ミク and Future Stars Project mirai ぷちぷくパック 7,140円 ガールズRPG シンデレライフ 5,400円 レベルファイブ 03月01日 マリオ＆ソニック AT ロンドンオリンピック 4,800円 任天堂 ドラえもん のび太と奇跡の島 ～アニマルアドベンチャー～ 5,229円 フリュー 02月23日 ナイトメアパズル クラッシュ3D 4,179円 セガ 牧場物語 はじまりの大地 5,040円 マーベラスAQL 02月16日 シアトリズム ファイナルファンタジー 6,090円 スクウェア・エニックス 極限脱出ADV 善人シボウデス 6,090円 チュンソフト 鉄拳 3D プライムエディション 5,800円 バンダイナムコゲームス 02月14日 NEWラブプラス 6,980円 KONAMI NEWラブプラス 2冊セット 9,980円 NEWラブプラス 本体同梱版 23,980円 NEWラブプラス 本体同梱版2冊セット 26,980円 NEWラブプラス コンプリートセット 33,850円 02月02日 Fishing3D 5,040円 ディースリー・パブリッシャー 01月26日 バイオハザード リベレーションズ 5,990円 カプコン ズーキーパー3D 3,990円 ROBOT 01月19日 ラビリンスの彼方 5,800円 KONAMI ラビリンスの彼方 特別版 6,690円 リズム怪盗R 皇帝ナポレオンの遺産 6,090円 セガ ランナバウト 3D ドライブ：インポッシブル 6,090円 ロケットカンパニー 01月12日 心霊カメラ ～憑いてる手帳～ 3,800円 任天堂 エースコンバット 3D クロスランブル 5,800円 バンダイナムコゲームス タンタンの冒険 ユニコーン号の秘密 5,040円 ユービーアイソフト 2011年 発売日 タイトル 価格 メーカー 12月22日 ESSEらくらく家計簿 3,990円 アイイーインスティテュート F1 2011 6,090円 コードマスターズ SDガンダム ジージェネレーション 3D 6,090円 バンダイナムコゲームス SDガンダム ジージェネレーション 3D シャア専用ニンテンドー3DS プレミアムBOX 21,090円 12月15日 熱血硬派くにおくん すぺしゃる 4,410円 アークシステムワークス かわいい仔犬3D 5,040円 エム・ティー・オー ペンギンの問題 ザ・ウォーズ 5,250円 KONAMI 萌え萌え大戦争☆げんだいばーん 3D 6,090円 システムソフト・アルファー ぷよぷよ！！ 5,040円 セガ ぷよぷよ！！アニバーサリーピンズコレクション 8,715円 イナズマイレブンGO シャイン 5,800円 レベルファイブ イナズマイレブンGO ダーク 5,800円 12月10日 モンスターハンター3（トライ）G 5,800円 カプコン モンスターハンター3（トライ）G 拡張スライドパッドパック 6,990円 モンスターハンター3（トライ）G Extended edition 8,800円 モンスターハンター3（トライ）G 拡張スライドパッドパック＋フィギュア 9,990円 モンスターハンター3（トライ）G スペシャルパック 20,800円 12月08日 ニード・フォー・スピード ザ・ラン 4,980円 エレクトロニック・アーツ ワールドサッカー ウイニングイレブン 2012 5,800円 KONAMI 12月01日 クッキングママ4 5,040円 オフィスクリエイト ソニック ジェネレーションズ 青の冒険 5,229円 セガ お茶犬といつもなかよし 5,040円 日本コロムビア マリオカート7 4,800円 任天堂 クレヨンしんちゃん 宇宙DEアチョー！？ 友情のおバカラテ！！ 5,040円 バンダイナムコゲームス 11月24日 薄桜鬼 3D 6,090円 アイディアファクトリー 薄桜鬼 3D 限定版 8,190円 パチパラ3D プレミアム海物語 ～夢見る乙女とパチンコ王決定戦～ 6,090円 アイレムソフトウェアエンジニアリング FabStyle 6,090円 コーエーテクモゲームス FabStyle プレミアムBOX 10,290円 11月17日 ザ・シムズ3 ペット 4,980円 エレクトロニック・アーツ Shinobi 3D 5,229円 セガ 11月10日 ジュエルペット 魔法のリズムでイェイッ！ 5,229円 フリュー ドライバー：レネゲイド 3D 6,090円 ユービーアイソフト 11月03日 nicola監修 モデル☆おしゃれオーディション 2 5,980円 アルケミスト ドッグスクール ラブリーパピー 5,040円 スターフィッシュ・エスディ スーパーマリオ 3Dランド 4,800円 任天堂 AZITO（アジト） 3D 5,229円 ハムスター 11月02日 スライムもりもりドラゴンクエスト３ 大海賊としっぽ団 6,090円 スクウェア・エニックス 10月27日 豆しば 5,040円 日本コロムビア 勇現会社ブレイブカンパニー 5,040円 バンダイナムコゲームス 10月20日 テトリス 3,990円 バンダイナムコゲームス 10月06日 スーパーブラックバス 3Dファイト 5,040円 スターフィッシュ・エスディ 09月29日 花といきもの立体図鑑 3,800円 任天堂 09月22日 フロッガー3D 3,980円 KONAMI 閃乱カグラ －少女達の真影－ 5,980円 マーベラスエンターテイメント 09月01日 デビルサバイバー オーバークロック 6,279円 アトラス 08月25日 両目で右脳を鍛える 3D速読術 3,990円 マイルストーン 08月11日 びっくり！とびだす！魔法のペン 3,990円 GAE スーパーポケモンスクランブル 4,800円 ポケモン 08月04日 謎惑館 ～音の間に間に～ 4,800円 カプコン 07月21日 ビックリマン漢熟覇王 三位動乱戦創紀 6,090円 日本一ソフトウェア うしみつモンストルオ リンゼと魔法のリズム 4,725円 サンタエンタテイメント 07月14日 スターフォックス６４ ３Ｄ 4,800円 任天堂 アンチェインブレイズ レクス 6,090円 フリュー 07月07日 ドクターロートレックと忘却の騎士団 5,480円 KONAMI 剣と魔法と学園モノ。3D 5,880円 アクワイア 06月30日 テイルズ オブ ジ アビス 6,090円 バンダイナムコゲームス 06月23日 Fish Eyes 3D 3,990円 マーベラスエンターテイメント パックマン ギャラガ ディメンションズ 5,040円 バンダイナムコゲームス 06月16日 ゼルダの伝説 時のオカリナ 3D 4,800円 任天堂 06月09日 FISH ON 5,040円 アスキー・メディアワークス 06月02日 バイオハザード ザ・マーセナリーズ 3D 4,800円 カプコン タッチ！ダブルペンスポーツ 4,800円 バンダイナムコゲームス 数独と3つのパズル～ニコリのパズルバラエティ～ 3,990円 ハドソン 05月26日 ワンピース アンリミテッドクルーズ スペシャル 6,090円 バンダイナムコゲームス 05月19日 DEAD OR ALIVE Dimensions 6,090円 コーエーテクモゲームス ゴーストリコン シャドーウォー 6,090円 ユービーアイソフト アニマルリゾート 動物園をつくろう!! 4,980円 マーベラスエンターテイメント 05月12日 スティールダイバー 4,800円 任天堂 04月28日 DECA SPORTA 3D SPORTS（デカスポルタ 3Dスポーツ） 5,040円 ハドソン 04月14日 プロ野球スピリッツ2011 5,800円 KONAMI パイロットウイングス リゾート 4,800円 任天堂 04月07日 空間さがしもの系脳力開発 3D脳トレーニング 3,990円 アイイーインスティテュート Cubic Ninja 3,990円 AQインタラクティブ 04月01日 ザ・シムズ3 4,980円 エレクトロニック・アーツ 03月31日 プロ野球 ファミスタ2011 6,090円 バンダイナムコゲームス BLAZBLUE CONTINUUM SHIFT II 5,229円 アークシステムワークス ニコリの数独3D ～8つのパズルで1000問～ 3,990円 ハムスター NARUTO-ナルト- 疾風伝 忍立体絵巻! 最強忍界決戦!! 5,040円 タカラトミー ウイルスシューターXX 2,993円 ドラス 03月24日 ラビッツ タイム・トラベル 5,040円 ユービーアイソフト GUNDAM THE 3D BATTLE 6,090円 バンダイナムコゲームス 03月17日 Tom Clancy's スプリンターセル 3D 5,040円 ユービーアイソフト 03月10日 ASPHALT 3D NITRO RACING 5,800円 KONAMI 03月03日 スーパーモンキーボール3D 4,410円 セガ 上海3Dキューブ 3,990円 サンソフト 02月26日 レイトン教授と奇跡の仮面 5,980円 レベルファイブ リッジレーサー 3D 6,090円 バンダイナムコゲームス nintendogs + cats トイ・プードル Newフレンズ 4,800円 任天堂 nintendogs + cats フレンチ・ブル Newフレンズ nintendogs + cats 柴 Newフレンズ とびだす!パズルボブル 3D 4,980円 スクウェア・エニックス 戦国無双 Chronicle 6,090円 コーエーテクモゲームス スーパーストリートファイターIV 3D EDITION 4,800円 カプコン コンバット オブ ジャイアント ダイナソー3D 5,040円 ユービーアイソフト ウイニングイレブン 3DSoccer 5,800円 KONAMI ▲上に戻る
https://w.atwiki.jp/nintendo3ds_library/pages/18.html
公式発売日カレンダー 2011年春 発売日 タイトル 価格 メーカー 02月26日 nintendogs + cats (ニンテンドッグス プラス キャッツ) 4,800円 任天堂 ウイニングイレブン 3Dサッカー 5,800円 KONAMI スーパーストリートファイターIV 3D Edition 4,800円 カプコン Combat of Giants™ Dinosaurs 3D(コンバット オブ ジャイアント ダイナソー3D) 5,040円 ユービーアイソフト 戦国無双 Chronicle （戦国無双 クロニクル） 6,090円 コーエーテクモゲームス とびだす！パズルボブル 3D 4,980円 スクウェア・エニックス RIDGE RACER 3D(リッジレーサー 3D) 6,090円 バンダイナムコゲームス レイトン教授と奇跡の仮面 5,980円 レベルファイブ 03月03日 スーパーモンキーボール 3D 4,410円 セガ 上海3Dキューブ 3,990円 サンソフト 03月10日 ASPHALT 3D NITRO RACING(アスファルト3D ニトロレーシング) 5,800円 KONAMI 03月17日 Tom Clancy's Splinter Cell Chaos Theory(スプリンターセル 3D） 5,040円 ユービーアイソフト STEEL DIVER（スティール ダイバー） 4,800円 任天堂 03月24日 DEAD OR ALIVE Dimensions(デッド オア アライブ ディメンションズ) 6,090円 コーエーテクモゲームス GUNDAM THE 3D BATTLE(ガンダム ザ 3D バトル) 6,090円 バンダイナムコゲームス ラビッツ タイム・トラベル 5,040円 ユービーアイソフト ザ・シムズ3（The Sims 3） 4,980円 エレクトロニック・アーツ 03月31日 プロ野球 ファミスタ 2011 6,090円 バンダイナムコゲームス BLAZBLUE CONTINUUM SHIFT II(ブレイブルー コンティニュアム シフトII) 5,229円 アークシステムワークス ウイルスシューターXX(ダブルエックス) 2,993円 ドラス ニコリの数独3D～8つのパズルで1000問～ 3,990円 ハムスター NARUTO -ナルト- 疾風伝 忍立体絵巻! 最強忍界決戦!! 5,040円 タカラトミー プロ野球スピリッツ 2011 5,800円 KONAMI 04月07日 ワンピース アンリミテッドクルーズ スペシャル 6,090円 バンダイナムコゲームス Cubic Ninja（キュービックニンジャ） 3,990円 AQインタラクティブ 04月28日 DECA SPORTA 3D SPORTS（デカスポルタ 3Dスポーツ） 5,040円 ハドソン 06月02日 タッチ！ダブルペンスポーツ 4,800円 バンダイナムコゲームス 発売日 タイトル 価格 メーカー 2011年3月 つくろうポン太のガーデンズ3D（海外名：My Garden）※発売中止 エレクトロニック・アーツ 発売日 タイトル 価格 メーカー 2011年春 Pilotwings Resort（パイロットウィングリゾート） 価格未定 任天堂 ゼルダの伝説 時のオカリナ 3D Ghost Recon Tactics ユービーアイソフト Driver Renegade(ドライバー 3D） METAL GEAR SOLID SNAKE EATER（メタルギア ソリッド スネークイーター） KONAMI ドクターロートレックと忘却の騎士団 EST （仮題） ディースリー・パブリッシャー Fishing （仮題） OMEGA FIVE（オメガファイブ）（仮題） ハドソン コロリンパシリーズ （仮題） 数独と3つのパズル～ニコリのパズルバラエティ～ かわいい仔犬3D （仮題） エム・ティー・オー 目で右脳を鍛える 速読術3 マイルストーン タンクビート3 （仮題） アニマルリゾート 動物園をつくろう!! マーベラスエンターテインメント 女児向けゲーム （仮題） GAE 空間力トレーニング アイイーインスティテュート FISH ON（仮称） アスキー・メディアワークス BIOHAZARD THE MERCENARIES 3D（バイオハザード ザ・マーセナリーズ 3D） カプコン スーパーブラックバス フィッシングソール スターフィッシュ・エスディ テイルズ オブ ジ アビス バンダイナムコゲームス ランナバウト for Nintendo 3DS（仮称） ロケットカンパニー 2011年夏以降 発売日 タイトル 価格 メーカー 2011年夏 びっくり!とびだす!魔法のペン（仮称） 価格未定 GAE Eピチレモンアイドルデビュー（仮称） カルチャーブレーン 大戦略forニンテンドー3DS（仮称） ハドソン テトリスアクシス（仮称） 学研教育出版 カラス3D（仮称） マイルストーン ビックリマン漢熟覇王 三位動乱戦創紀 日本一ソフトウェア 発売日 タイトル 価格 メーカー 2011年秋 ZAOO 価格未定 デジタルワークスエンターテインメント 死神鬼 デジタルワークスエンターテインメント 発売日 タイトル 価格 メーカー 2011年冬 A列車で行こう 3D（仮称） 価格未定 アートディンク 発売日 タイトル 価格 メーカー 2011年 新・光神話 パルテナの鏡 価格未定 任天堂 STARFOX64 3D（スターフォックス64 3D） BONK（仮題） ハドソン ボンバーマンシリーズ （仮題） Project ラブプラス for Nintendo 3DS（仮題） KONAMI デビルサバイバー オーバークロック アトラス SRPG（仮題） アルファ・ユニット キャバ嬢っぴ レベルファイブ ファンタジーライフ メダロット for Nintendo 3DS（仮題） ロケットカンパニー 剣と魔法と学園モノ。3D×3D （仮題） アクワイア 薄桜鬼3D（仮称） アイディアファクトリー 発売日未定 発売日 タイトル 価格 メーカー 未定 どうぶつの森(仮題) 任天堂 ペーパーマリオ （仮題） マリオカート （仮題） BIOHAZARD REVELATIONS（バイオハザードリベレーションズ） カプコン ロックマン DASH3 PROJECT KINGDOM HEARTS 3D（仮称） スクウェア・エニックス チョコボレーシング 3D（仮題） ドラゴンクエスト シリーズ ファイナルファンタジー シリーズ リカちゃん （仮題） タカラトミー NINJA GAIDEN （仮題） コーエーテクモゲームス 真・三國無双（仮題） 牧場物語3D （仮題） マーベラスエンターテインメント エースコンバット 3D （仮題） バンダイナムコゲームス スーパーロボット・シリーズ （仮題） ドラゴンボール・シリーズ （仮題） PAC-MAN Galaga DIMENSIONS(パックマン ギャラガ ディメンションズ) ソニック （仮題） セガ タイムトラベラーズ レベルファイブ レイトン教授VS逆転裁判 イナズマイレブン GO ペルソナ アトラス 真・女神転生シリーズ 世界樹の迷宮シリーズ BloodRayne The Shroud Majesco A Boy and His Blob Face Racers Photo Finish Martha Stewart WonderWorld Amusement Park Lion’s Pride Adventures on the Serengeti DJ Hero 3D Activision FIFA Soccer Electronic Arts Madden NFL 魂斗羅シリーズ KONAMI Froggerシリーズ Carnival Games Take-Two de Blob 2 THQ Kung Fu Panda Kaboom of Doom Marvel Super Hero Squad Infinity Gauntlet The Penguins of Madagascar Puss N Boots Saints Row Drive-By Battle of Giants Dinosaur Strike ユービーアイソフト Hollywood 61 Assassin’s Creed Lost Legacy Untitled Batman franchise game Warner Bros Untitled LEGO franchise game 3D美人時計 （仮称） 美人時計 マッデンNFLフットボール Electronic Arts 天空の機士ロデア 角川ゲームス ▲上に戻る コメント 名前 コメント ▲上に戻る
https://w.atwiki.jp/uran/pages/309.html
趣味・娯楽 スポーツ 芸能 インターネット ソフトウェア 趣味・娯楽 新着記事は見つかりませんでした。 ページトップへ スポーツ 新着記事は見つかりませんでした。 ページトップへ 芸能 新着記事は見つかりませんでした。 ページトップへ インターネット 新着記事は見つかりませんでした。 ページトップへ ソフトウェア 新着記事は見つかりませんでした。 ページトップへ fc2.news(p3)へ。
https://w.atwiki.jp/svrf/pages/2.html
メニュー トップページ 形式手法Event-BEvent-Bメモ書き モデル検査ツールSPINSPIN v6メモ SPIN環境 例その1 Promela覚書その1 Promela覚書その2 リンク @wiki @wikiご利用ガイド 他のサービス 無料ホームページ作成 無料ブログ作成 2ch型掲示板レンタル 無料掲示板レンタル お絵かきレンタル 無料ソーシャルプロフ ここを編集
https://w.atwiki.jp/svrf/pages/15.html
SPINの支援環境ツールについて まずSPIN SPINを動かすには以下のものが必要spin.exe gcc.exe(多分Cコンパイラであればなんでも) cygwin1.dll(場合により) 本家サイトに行けば全部そろう Cygwinがインストールしてあれば楽 iSpin 本家が開発しているSPIN支援ツール xSpinの後継で、2010年12月に誕生 それに伴いxSpinのサポートは終了らしい SPINの検証を楽にしてくれるツールのようPromela記述を楽にはしてくれなさそう Editor部分はあるが、反例トレース用だと思う。Promelaをそこで書くものではなさそう したがって、Promela editorは別のを使うのが良い（今のところ） tcl/td(Active Tcl)のインストールが必要 xSpin iSpinに代わる が、まだ使えると思う jSpin Javaで書かれたSPIN支援ツール 日本語が□になって打てない iSpinと同じでPromelaはあまり支援してくれない ETCH An Enhanced Type Checker for Promela Spinのデフォルトのよりも強力なPromelaシンタクスチェッカらしい 404でDownloadできなかったので未検証ソースコードは落とせるので、そちらからコンパイル？すればいいのかも なんとなく面倒になって後回し promela-mode.el EmacsでPromelaを支援してくれるスクリプト ハイライトや自動インデント、括弧補完があるiSpinや何も設定してないテキストエディタでかくよりははるかに良い 自動インデントで若干の不満点 個人的にインデントはタブオンリーにしてほしい Eclipse plug-in for Spin EclipseのプラグインでPromela/SPINを支援してくれる Promela記述に関してはハイライトやインデントなど補完してくれる SPINの検証もできるが動作がなぜか安定しない Promela editorとして使うのが良いかも Promela syntax highlighting for vim vim用のPromela構文ハイライトスクリプト 見た感じ使えそうではあるが、vimは使っていないので未検証 オススメ Emacs(promela-mode.el)で書いてシェルモードでコマンドを打って検証し、複雑な検証や大きなトレースはiSpinを使う、というのがいいと思う Emacsを使わないのであれば、言語設定、ハイライト設定ができるエディターを使うなどの方法をとるのが良いそういうEditorがあるのかは知らない…
https://w.atwiki.jp/sqex/pages/25.html
スクウェアエニックスが販売または開発したWii用ソフトの一覧 バーチャルコンソールについてはバーチャルコンソール用ソフトを参照 ドラゴンクエストソード 仮面の女王と鏡の塔 チョコボの不思議なダンジョン 時忘れの迷宮
https://w.atwiki.jp/sqex/pages/16.html
スクウェアが販売または開発したプレイステーション用ソフトの一覧 アクエスブランド作品についてはプレイステーション用ソフト（アクエス）を参照 スクウェアエニックス合併以後についてはプレイステーション用ソフト（スクウェアエニックス）を参照 トバルNo.1 ファイナルファンタジーVII ブシドーブレード ファイナルファンタジーIV トバル2 ファイナルファンタジータクティクス サガ フロンティア フロントミッションセカンド ファイナルファンタジーVII インターナショナル ザウバー（開発中止） アインハンダー フロントミッションオルタナティヴ チョコボの不思議なダンジョン ゼノギアス ブシドーブレード弐 パラサイト・イヴ ファイナルファンタジーV 双界儀 ブレイヴフェンサー 武蔵伝 アナザー・マインド エアガイツ チョコボの不思議なダンジョン2 IS internal section ファイナルファンタジーVIII ファイナルファンタジーVI ファイナルファンタジーコレクション チョコボレーシング 〜幻界へのロード〜 サガ フロンティア2 サイバーオーグ レーシングラグーン 聖剣伝説 レジェンド オブ マナ フロントミッションサード デュープリズム クロノ・トリガー クロノ・クロス パラサイト・イヴ2 チョコボスタリオン ダイス DE チョコボ チョコボコレクション ベイグラントストーリー ファイナルファンタジーIX ファイナルファンタジー ファイナルファンタジーII ファイナルファンタジーI・II プレミアムパッケージ
https://w.atwiki.jp/index-index/pages/3910.html
【種別】 道具 【初出】 創約3巻 【解説】 学園都市が開発したハッキング用アイテム。見た目はきめの細かい粉末。 光ファイバー内を流れる信号に直接張り付いて移動するナノデバイスで、ソフトウェアを検索するだけのワクチンソフトを無視してハードウェアから攻撃する。 無論これのみで全ての防壁を落とせるわけではないが、安全を確認するためにはプログラムに頼らずハードウェア全体を電子顕微鏡レベルで探さないといけなくなり、普通のハッキングと比べて大きく時間と手間をとらせることができる。
https://w.atwiki.jp/svrf/pages/17.html
簡単な説明と簡単な例で簡単に雰囲気をつかみたい。 spinがインストールしてあるのが前提。 構造： Promelaが扱う主なデータタイプは以下の通り データタイプ 値の範囲 補足 bit 0..1 1bit bool false, true 1bitでfが0でtが1 byte 0..255 8bit short -2^15..-2^15-1 符号付16bit int -2^31..-2^31-1 符号付32bit すべてintで宣言すればいいわけではなく、状態が多くなりすぎて検査できない（いわゆる状態爆発）を防ぐために、intよりshort、shortよりbyte、byteよりbitなどと小さくしていくと無駄がなくなってモデル的にも良い、と言われている。 他には、mtypeやpid、unsignedがある。mtypeは良く使うので後に例を書きたいと思う。pidはプロセスの識別子でこれも後に説明したいと思う。unsignedは使っているところあまり見かけないのでスルー。 例題： そういったわけで、すごく簡単な例を書いてみる。 「nが5まで1つずつ増えて5になったら0になるカウンター」 Promela/SPINも含むモデル検査は状態遷移(オートマトン)の枠組みを基本としているので、状態遷移をまず考える。 カウンターの状態遷移。 もっと一般化すると以下のようになる。 以上のモデルを考えてから、それをもとにPromelaで記述してみる。 Promelaはプロセスという動作単位で構成するので、proctypeというプロセス宣言がメインになる。 int n = 0; active proctype counter(){ do (n 5) - n++; (n == 5) - n = 0; od;} このような形になる。 最初なので細かく説明、というかメモを残しておくことにする。 1行目から int n = 0; いわゆるグローバル変数の宣言。どのプロセスからもアクセスできる。宣言と同時に0で初期化。SPINの日本語解説書では大域変数という名称で書かれていることが多いので、大域変数と呼ぶことにする。 大域変数があるということは局所変数（ローカル変数）もあるわけで、プロセス宣言内に変数を宣言すれば局所変数で、スコープ一般的なプログラミング言語と同じだと思います。（スコープは厳密に確認していないが…） 次にメインとなるプロセス宣言。 active proctype counter(){ do (n 5) - n++; (n == 5) - n = 0; od; } proctypeで囲まれた部分がプロセス宣言。counterという名前のプロセスである。宣言の形は以下の通り。 proctype プロセス名 (引数) { ...中身... } こんな形で宣言する。 proctypeの前にactiveとついているのは、プロセス生成したらすぐ実行しますよ(activeになる)という意味の宣言。任意のタイミングでプロセスを実行したい場合は、あとで説明するinitを使ったり使わなかったりするとできる。そのうち説明したい。 次にプロセスの中身について。上のコードでは以下の部分 do (n 5) - n++; (n == 5) - n = 0; od; この処理はdo文といって、いわゆるループ文で書き方は do (ガード条件文) - 文; 文; 文; ... (ガード条件文) - 文; 文; 文; ... ... ...od; となる。また、if文も同じように記述でき if (ガード条件文) - 文; 文; 文; ... (ガード条件文) - 文; 文; 文; ... ... ...fi; こうなる。do文とif文の違いは、ループを行うか行わないかの違いだけで基本的には同じ。 で、こういうif文やdo文の構造はガードコマンドと言う。参考リンク：http //ja.wikipedia.org/wiki/Guarded_Command_Language 動きとしては、 ガード条件が発火する(trueになる)のであれば- 以降の文を実行することができる。もし発火しない(falseになる)場合は、ガードが発火するまで実行をブロックし待ち続ける。ガード条件が複数ある場合も同じ。 C言語などのif文の条件は真にならなければ、そのまま次のステップに進むが、Promelaはガード条件が真にならない場合は真になるまで待ち続けるのが大きな違い。 ちなみに else - 文;という風にも書け、真にならない場合に実行される。 またPromelaは非決定性を持つので、ガード条件が複数発火してもよく、その場合には実行はランダムに選ばれる。 たとえば do (n 3) - printf("nは3以下"); (n 4) - printf("nは4以下");od; のように書いてnが2だった場合、どちらの条件も発火可能であり、実行はランダムにどちらかが選ばれる。 ちなみにprintfは使えるが、コンパイルしたときには完全に無視されるので注意。 実行： ということで、書いたら保存して実行してみる。ちなみに拡張子は何でもよい。参考書などでは.pや.prom、.pmlといろいろあるが、おそらく.pmlが一番多数派だと思う。 シミュレーション実行は以下の通り spin -p filename コマンドプロンプトなりバッシュなりでコマンドを打つ。 -pはプロセスの状態変化を画面に出力するオプションで、これを打たずに実行すると画面に何も表示されない。 この例題は無限ループを起こすように書いてあるので上記のコマンドを打つと画面にザザーとずっと状態が出力される。ひたすらシミュレーションをしている状態なのだけども、これはこれで意図通り。 ...7210 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7211 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7212 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7213 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7214 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7215 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7216 proc 0 (counter) ex1.pml 4 (state 5)[((n==5))]7217 proc 0 (counter) ex1.pml 6 (state 4)[n = 0]7218 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7219 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7220 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7221 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7222 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7223 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7224 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7225 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7226 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7227 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7228 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))]7229 proc 0 (counter) ex1.pml 5 (state 2)[n = (n+1)]7230 proc 0 (counter) ex1.pml 8 (state 6)[.(goto)]7231 proc 0 (counter) ex1.pml 4 (state 5)[((n 5))] ... 補足：他にも覚えておくと幸せになるオプション(シミュレーション時のみ)をいくつかあげておきます。 1. 大域変数の状態を画面に出したい spin -g filename 2. 局所変数の状態も出したい spin -l filename 3. 対話的(interactive)にシミュレーション実行したい spin -i filename 4. そもそもヘルプを出して自分で見たい spin --h ぐらいです。spin -p -l -g filename とかで組み合わせることもできます。 このモデルで検証してもあまり意味がないので、検証のコマンドは次に。
https://w.atwiki.jp/svrf/pages/16.html
バージョンに関するメモ SPIN v6.0.0 2010年12月にv6になる 構文追加 for文の実装for(i 1..100){...} 便利 Multiple Never Claimのサポート Never Claimを一つのファイルに複数書くことができるようになったらしいnever ncname { ... }と名前付きで記述して、実行時に「./a -N ncname 」で指定 検証は一つずつ 複数のNCを一つにまとめることもできる「spin -e filename 」で複数のNCがあった場合1つにしてくれる GraphvizのDotのサポート 実行時に「./a -D」でDot言語に変換した形で出してくれるこれはつまり、図形化できるということだと思う 実際にできた。素晴らしい。 iSpinでも自動生成できるが、コマンドでやった方が図がきれい