約 290 件
https://w.atwiki.jp/mutsuki198/pages/45.html
暁の円卓藩国 暁の円卓藩国藩国部隊 藩国部隊 38：暁の円卓藩国 編成ＵＲＬ：http //www30.atwiki.jp/idress/pages/448.html ミス：有 詳細： １：部隊評価で幸運の評価値が２２となっていますが検算すると２１になりました。 ＃しかし、子供の夢を守る者の特殊発動時の数値は編成表のものであっています。 ２：部隊可能行為評価値で装甲：45／マジックアイテム使用不能時→42となっていますが 検算してみると装甲は４４でマジックアイテム使用不能時は４１でした。 ３：部隊可能行為評価値で子供の夢を守る者特殊発動時，装甲４５／マジックアイテム使用不能時→43となっていますが 検算してみると装甲４４でマジックアイテム使用不能時は４２でした。 ４：消費修正の項目にドラグンバスターの＊ドラグンバスターの特殊 ＝ ，歩兵，，（着用者の白兵距離での）｛攻撃、防御｝の燃料の消費は０として扱う。という特殊が含まれていません。 ５：上記ミスに伴い、消費資産欄で燃料を１万ｔ過剰消費しています。 以下は追記、および差し替え ６：特殊消費の項目で燃料消費が５７万ｔと記載されていますが、正しくは６３万ｔです。 正しくは、 ■消費資産 □出撃費用 資源：０万ｔ 食料：４０万ｔ（暁の民１０人→４万ｔ×１０人→４０万ｔ） 燃料：０万ｔ □編成種別 重編成 □特殊消費 資源：０万ｔ 食料：０万ｔ 燃料：６３万ｔ（軽編成２１万ｔ消費×３→重編成６３万ｔ） ＃大剣士の白兵補正の消費→１×６＝６万ｔ 大剣士の防御補正の特殊→１×６＝６万ｔ ドラゴンスレイヤーの白兵補正の消費→１×８＝８万ｔ 藩王の白兵補正の消費→１×１＝１万ｔ □消費修正 海軍兵站システム：宰相府藩国：燃料×0.18 #海軍兵站システム使用許可 →http //p.ag.etr.ac/cwtg.jp/bbs2/28079 ドラグンバスター：暁の円卓藩国：着用者の白兵距離での｛攻撃、防御｝の燃料の消費は０として扱う。 －対象者：枚方 弐式 □合計消費 資源：０万ｔ 食料：４０万ｔ 燃料：９万ｔ（６３万ｔ－９万ｔ）×０．１８＝９．７２万ｔ→９万ｔ ＃９万ｔのマイナスはドラグンバスターの効果による枚方さんの燃料消費（大剣士の白兵補正１万ｔ+大剣士の防御補正１万ｔ+ドラグンバスターの白兵補正１万ｔ）×３（重編成分）の軽減によるものになります。 となります。 以下はミスではないが注意事項： １：風杜神奈さんの着用アイドレスに「子供の夢を守るもの」とありますが、正しくは「子供の夢を守る者」です。 ＃なお、編成表の他の項目でもこの誤表記になっています。（具体的には部隊書式欄・部隊評価欄・使用特殊欄の３つ、計１１箇所）
https://w.atwiki.jp/gpmfactory/pages/17.html
連絡網 t180の検算t180 = 60(秒) x 1000(ミリ秒) / 180(拍)= 60000 / 180= 333.33333･･･(ミリ秒)1秒≒4分3拍(限りなく近いが、イコールではない)
https://w.atwiki.jp/modelbase/pages/16.html
更新日2011-09-03 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ] 木の有向グラフを作るにあたって頂点と辺の定義を準備する。 -- 頂点の集合Vと辺の集合Eの定義 some sig V{ E set V } -- 辺を持たない頂点は除外 fact{ V in univ.E + E.univ } 発見的に木を作ってみる まずは、始端は１つだけであるという性質だけを与える。 pred isTreeH(r univ - univ){ let -- ノード NODE = r.univ, -- 始端 START = NODE - univ.r |{ -- 始端は唯一存在する(ルートノードのこと) one START } } こんな感じのインスタンスが出てきた。 単射的な性質を加えることにする。 pred isTreeH(r univ - univ){ let -- ノード NODE = r.univ, -- 始端 START = NODE - univ.r |{ -- 始端は唯一存在する(ルートノードのこと) one START -- 単射的 r.~r in iden } } こんな感じのインスタンスが出てきた。 始端ノードから、全ノードへ到達できる性質を加える。 pred isTreeH(r univ - univ){ let -- 始端のノード START_NODE = r.univ - univ.r |{ -- 始端のノードは唯一存在する(ルートノードのこと) one START_NODE -- 単射的 r.~r in iden -- 始端ノードから、全ノードへ到達できる all n START_NODE | r.univ+univ.r in n.*r } } 木になっている感じがする。 定義に沿って木を作ってみる 今度は定義に沿って木を作ってみる。 グラフで"木"と呼ばれるものは、 閉路を持たない単連結なグラフ という定義らしい。 pred isTreeD(r univ - univ){ -- 閉路を持たない no (^r iden) -- 単連結 connected1[r] } pred connected1(r univ - univ){ -- 単射 r.~r in iden -- 連結 let R = r+~r, -- 無向グラフ化 U = R.univ | -- 全ノード -- 任意のノードへ到達可能 all u U | U in u.*R } 単連結は定義できているか自信がないが、いくつかのインスタンスを見る限り 木が作れているようだ。 最初に作ったisTreeHと次に作ったisTreeDが同じ定義と なっているのか、検算してみる。 -- 検算 check sameDef { isTreeH[E] = isTreeD[E] }for 4 反例がないのでスコープ4の範囲では同じだ。 しかし、実のところisTreeHとisTreeDで全く同じ誤定義をしているかもしれない。 念のため、ライブラリと比較してみる。 (冒頭でutil/graphをオープンしておく。) open util/graph[V] as gr ... -- 検算 check valid{ --どちらか一方の定義だけ比較すればよし isTreeH[E] = gr/tree[E] //isTreeD[E] = gr/tree[E] }for 4 反例はなかった。
https://w.atwiki.jp/seraphyware/pages/5.html
easyhashchecker コンセプト ダブルクリックだけでファイルの照合を行う 初心者にも簡単で再配布にも軽量な スタンドアロンでコンパクトなMD5/SHA1ダイジェストツール 対応OS Windows2000/2003/XPのみ。 ダイジェストをとるのにCrypt系APIを使っているため。 EXE単体で動作します。 リリース http //sourceforge.jp/projects/easyhashchecker/ 使い方 ハッシュ値とは、そのファイルの内容を検算した16～20バイト程度の小さな符号であり、 ファイルのサイズや内容が少しでも違うと値が変わる性質があり、 一種の「ファイルの指紋」のような役割を果たします。 このツールは、予め配布したいと思うファイルのハッシュ値を計算しておき、 そのハッシュ値のファイル(*.md5/*.sha1)とともにファイルを配布し、 配布先でハッシュ値を検算することで、 ファイルが配布経路上で破損していないか確認するためのツールです。 ファイルを照合する場合 照合するファイルと、そのファイルのmd5またはsha1のハッシュ値を格納した*.md5/*.sha1ファイルを同じディレクトリ上に置く。 そのディレクトリ上にeasyhashchecker.exeをコピーする。 ダブルクリックする easyhashchecker.exeの実行時のカレントディレクトリ(通常は起動時のディレクトリ)にある、すべての*.md5/*.sha1ファイルを読み取り、そのハッシュ値のファイル名と実在するファイルのハッシュ値を照合し、その結果のダイアログボックスを開く。 ファイルのハッシュ値を作成する場合 ハッシュ値をとりたいファイルを任意のディリクトリに置く そのディレクトリにeasyhashchecker.exeをコピーする。 シフトキーを押したままeasyhashchecker.exeをダブルクリックで起動する。 そのディレクトリ上にあるファイルのmd5ハッシュ値を格納するファイルが作成される (シフトキー+コントロールキーで起動すると、sha1ハッシュ値を作成する。)
https://w.atwiki.jp/excalc/pages/20.html
人生、宇宙、すべての答え 人生、宇宙、すべての答えを計算するライブラリです。 次の内容を含みます。 function 人生・宇宙・すべての答え()人生、宇宙、すべての答えを計算します。引数は持ちません。 内部で検算も行われます。 表示 Ex電卓へ登録 トップページ
https://w.atwiki.jp/armhead/pages/463.html
振り仮名：イシガワ カミオ 性別：男 職業：数学者 大御蓮帝国の数学者。 アルソルの最終定理を説いたスー・アルドランから検算を直接依頼されたことで有名。 石側 耀子とは夫婦。
https://w.atwiki.jp/sengoku_muramasa/pages/1516.html
山県昌景 8M＝6654：6144：5412 -- ↑それどこかでミスってない？俺が作った8MAXは6678/6166/5432だったからこっちを載せとく -- 攻6654のやつは最終素MAXと2進3MAXの値使って検算してみたところ、6MAX値のようだね -- ﾊﾞﾚﾝﾀｲﾝ台詞 ｢どうだっ!!おっきなちょこだぞっ!!一杯食べてよね!!｣ --
https://w.atwiki.jp/sinnerei/pages/2830.html
【作品名】ダグラス・アダムスの『銀河シリーズ』 【ジャンル】SFコメディ小説 【名前】ディープ・ソート 【属性】スーパーコンピュータ、深慮遠謀 【年齢】750万歳 【長所】「深淵なる疑問の答えは・・・・・・」 「生命、宇宙、その他もろもろの答えは・・・・・・」 【短所】「四十二です」 【備考】750万年間に渡って生命、宇宙、その他もろもろについての 普遍的な疑問を解く為に検算し続けてきた vol.4
https://w.atwiki.jp/magamorg/pages/6331.html
英知神龍フェルマーチック ベリーレア 光 7 8500 アポロニア・ドラゴン/ライトブリンガー ■進化―自分のドラゴンまたはライトブリンガー１体の上に置く。 ■このクリーチャーをバトルゾーンに出した時、自分のシールドの枚数と同じだけ、自分はカードを引いてもよい。 ■Ｗ・ブレイカー ■このクリーチャーがバトルゾーンを離れる時、一番上にあるこのカードだけを裏返して、新しいシールドとしてシールドゾーンに置く。その後、残りを墓地に置く。 （Ｆ）奇跡の可能性の数だけ、予言者は知識を積み重ねてゆく。繰り返す検算のもとに。 作者：まじまん 評価
https://w.atwiki.jp/nenrei/pages/2174.html
【作品名】ダグラス・アダムスの『銀河シリーズ』 【ジャンル】SFコメディ小説 【名前】ディープ・ソート 【属性】スーパーコンピュータ、深慮遠謀 【年齢】750万歳 【長所】「深淵なる疑問の答えは・・・・・・」 「生命、宇宙、その他もろもろの答えは・・・・・・」 【短所】「四十二です」 【備考】750万年間に渡って生命、宇宙、その他もろもろについての 普遍的な疑問を解く為に検算し続けてきた vol.4