約 290 件
https://w.atwiki.jp/magicman/pages/45779.html
検算の主任 ルートム R 水文明 (4) クリーチャー:テクノポリス/サイバーロード 3000 ■自分のテクノポリスがあれば、シールドゾーンにあるこのクリーチャーに「S・トリガー」を与える。 ■ブロッカー ■そのターン中に自分の他のクリーチャーが攻撃していなければ、このクリーチャーは攻撃できない。 ■自分のターンのはじめに、自分の山札の上から5枚を見て、好きな順序で元に戻す。 作成者:Y DMCY-04「電界編 第4章 変革のエンドローグ」に登場するテクノポリス/サイバーロード。《パルピィ・ゴービー》のcipを自分のターンが始まるたびに発動させて、ドローの質を向上させるブロッカー。テクノポリスがいればS・トリガーを得られるため、相手ターン中に出て逆転を狙う準備もできる。ターン開始時のドローで引いたカード以外は山札の上に残るので、それらをうまく処理できると有効か。 背景ストーリー上では、《探索の主任 サムルン》と同一人物。 フレーバーテキスト 「我々の計画の成功は君の頭脳にかかっている」……総神の期待とあらば、こちらも応えないわけにはいかないな。ミスのないよう、もう一度見直してみよう。---検算の主任 ルートム 評価 名前 コメント
https://w.atwiki.jp/kuizu/pages/3865.html
=試し算 自作 例えばx-5=3という計算式をx=3+5=8と求めた時、最初の式のxに8を代入して8-5=3、という計算のことを表す、 計算の結果が正しいかどうかを確かめる計算のことを何という? (2012年10月1日 楽しい相対性理論 ) タグ:理系 Quizwiki 索引 あ~こ
https://w.atwiki.jp/mutukidoraken/pages/107.html
T7 名前:むつき・萩野・ドラケン 所属:風 肉体能力:8 心の輝き:5 守るべき人の多さ:5 保有精霊数:20(20レベル2万) ドレスアップ:連邦舞踏子 英雄の介添え人:ドランジ コマンド ・次のターンのダメージ軽減 T7-1 リクエスト処理 A:5+(0×2)=5 B:(8+10)+(1×2)=20(クリア) C:5+(19×2)=43(クリア) D:(8+10)+(0×4)=18(クリア) 配置:0+1+19+0=20 予備:0 コマンド ・汎用術式準備 次ターン(T8)セクターCに+20 T7-2 リクエスト処理 A:5+(0×2)=5 B:(8+10)+(12×2)=42(クリア) C:5+(0×2)=5 D:8+(8×4)=40(クリア) 配置:0+12+0+8=20 予備:0
https://w.atwiki.jp/i_dress_org_and_tac/pages/233.html
無名騎士藩国 無名騎士藩国藩国部隊 銀河鉄道なごみ騎士団 無名冒険者組合 藩国部隊 33:無名騎士藩国 編成URL:http //www30.atwiki.jp/idress/pages/215.html ミス:有 詳細: 保育園の効果対象者が明記されていない、着用以外のアイドレスの欄に記載するのが正しい。 関連ルール -着用以外のアイドレス:国有/個人所有:評価/個人補正に関係する効果抜粋 #着用以外のアイドレスは,アイテム,絶技,施設などを指します。評価値・判定に関係あると予測されるものだけで結構です。 分隊<F-3303> の知識が22と記載されているが検算結果は20である。 上記に関連して、分隊<セレスタイン+F-3301~03> の知識が23と記載されているが検算結果は22である。 知識 22(記載された評価値) 20(検算結果) 検算資料 藍翼号(知識6)+高位西国人(知識2)+ホープ(知識1)+ハイ・パイロット(知識3)+名パイロット(知識1) 6+2+1+3+1=13 ハイ・パイロット補正+5+名パイロット補正+1×2=7 13+7=20 F-3303:藍翼号+HQ感覚+HQ敏捷+HQ感覚:国有 (P)33-00176-01_メカ師オンドゥル:高位西国人+ホープ+ハイ・パイロット+名パイロット; (P)33-xx003-xx:猫士:西国人+ホープ+パイロット+名パイロット:- _define_I=D {F-3303:藍翼号+HQ感覚+HQ敏捷+HQ感覚 体格7*筋力7*耐久力7*外見7*敏捷7*器用7*感覚7*知識7*幸運7, (P)33-00176-01_メカ師オンドゥル:高位西国人+ホープ+ハイ・パイロット+名パイロット, (P)33-xx003-xx_猫士:西国人+ホープ+パイロット+名パイロット}; 分隊<F-3304> の器用が13と記載されているが検算結果は11である。 分隊<F-3304> の感覚が11と記載されているが検算結果は9である。 分隊<F-3304> の幸運が11と記載されているが検算結果は7である。 分隊<F-3304> の水中遠距離攻撃が17と記載されているが検算結果は16である。 器用:感覚:幸運:水中遠距離 13:11:11:17(記載された評価値) 11:9:7:16 (検算結果) 検算資料 西国人+猫妖精+パイロット+名パイロット+補給士官= 器用2,感覚5,幸運-1 藍翼号 評価= 器用7,感覚2(HQ×2),幸運6 名パイロット補正+1×2 合計 器用11,感覚9,幸運7 F-3304:藍翼号+HQ感覚+HQ敏捷+HQ感覚:国有 (P)03-00773-01_国東愁胡:西国人+猫妖精+パイロット+名パイロット+補給士官+HQ知識+HQ知識+HQ知識+HQ知識: (P)33-xx004-xx:猫士:西国人+ホープ+パイロット+名パイロット:- _define_I=D {F-3304:藍翼号+HQ感覚+HQ敏捷+HQ感覚 体格2*筋力2*耐久力2*外見2*敏捷2*器用2*感覚2*知識2*幸運2, (P)03-00773-01_国東愁胡:西国人+猫妖精+パイロット+名パイロット+補給士官+HQ知識+HQ知識+HQ知識+HQ知識, (P)33-xx004-xx_猫士:西国人+ホープ+パイロット+名パイロット}; <無名騎士藩国絢爛侵攻艦隊>の装甲が99と記載されているが検算結果は97である。 <無名騎士藩国絢爛侵攻艦隊>の注記でシールドシップのみの評価で水中戦が92と記載されているが検算結果は90である。 <無名騎士藩国絢爛侵攻艦隊>の注記でシールドシップのみの評価でRB戦が62と記載されているが検算結果は60である。 <無名騎士藩国絢爛侵攻艦隊>の注記でシールドシップのみの評価で装甲が99と記載されているが検算結果は97である 分隊<セレスタイン+F-3301~03>の装甲が99と記載されているが検算結果は97である。 分隊<セレスタイン> の装甲が99と記載されているが検算結果は97である。 分隊<セレスタイン> の水中戦が92と記載されているが検算結果は90である。 分隊<セレスタイン> のRB戦が62と記載されているが検算結果は60である。 #上記三項目は<無名騎士藩国絢爛侵攻艦隊>のシールドシップのみでの判定となる場合の注記でも同じ誤りがある。 検算資料 艦船操縦者6名(ハイ・パイロット+5×6名)=+30 コパイロット14名(マシンマイスター+2×14名、スペーススターキャット+2×1名)=+30 合計+60 装甲:水中戦:RB戦 37:30:0 (セレスタインの能力、HQでの装甲+3適用) 60:60:60(操縦者補正) 97:90:60(検算結果) 99:92:62 (提出された評価値) 銀河鉄道なごみ騎士団 33-01 銀河鉄道なごみ騎士団 編成URL:ttp //www30.atwiki.jp/idress/pages/220.html ミス:有 詳細: 33-00647-01_GENZの鋼の藩王GENZのSHQ感覚が参謀の後ろについています #公共職4の参謀には今のところHQ等はついていません 33-00647-01_GENZにバンバンジースーツが記載されていますが全身装備のため、その他装備以外との併用はできません #おそらく戦闘以外の生活ゲーム等で使用するだろうので 、記載の必要はないかと思います 33-00232-02_赤峯氏の個人修正に余分な*があります 無名冒険者組合 33-01:無名冒険者組合 編成URL:(略) ミス:(無) 詳細:ミスなしのため省略
https://w.atwiki.jp/kakis/pages/8649.html
sainzep /// / 検算 sain\zep \ 14 seren klel 確かめる計算 \ 検算 \ [ yuo ] \ onを検算する \ [ iyuan ] \ 検算した \
https://w.atwiki.jp/bokizeirishicpa/pages/46.html
税理士試験に持ち込みできる電卓の機能「計算過程をさかのぼって確認できる機能」使用禁止に該当しそうな機能SHARP アンサーチェック機能 ⇒ おそらく大丈夫です。ただ機種によるかもしれません。 CASIO 検算機能 ⇒ 駄目な機種もある。 footer 税理士試験は電卓に対する制約が少ないため、様々な電卓が使われています。とはいえ、やはり試験で使いやすい使いにくいという傾向はありますので人気機種もあります。合格者の使っていた機種がいくつか発売中止になっています。最近、電卓の新機種への切り替えがあったという書き込みも散見します。 新機種電卓の傾向 ナイスサイズで、小数点切り上げできるのが数少ない。 【電卓】 電子式卓上計算機 9 【calculator】 税理士試験に持ち込みできる電卓の機能 さきほど税理士試験に制約が少ないと書きましたが、制約が無いわけではありませんので、しっかりと確認しておくことが必要です。 "計算機は、次の4つの条件の全てに該当する場合にのみ使用が認められます。 乾電池や、太陽電池で作動する電源内蔵式のものであること。試験場では、コンセントは使用できません。 演算機能のみを有するものであること。紙に記録する機能、音が出る機能、計算過程をさかのぼって確認できる機能、プログラムの入力機能があるものは、その機能の使用のみならず、計算機全体が使用できません。(消費税の税込み、税抜き機能のみを有する電卓は使用可) ※計算過程をさかのぼって確認できる機能とは、例えば、本人が入力した計算式や計算過程を記憶し、さかのぼって画面上で確認できる機能を差しており、計算結果(答)のみを確認する機能はこれに該当しません。 数値を表示する部分がおおむね水平であるもの。表示窓が極端に横に倒れるものなどは使用できません。 外形寸法がおおむね26センチメ-トル×18センチメ-トルを超えないものであること。つまり、おおむねB5判の紙からはみ出ない大きさの計算機を使用してください。” 試験に使用できる文房具・計算機について|税理士試験に関するQ A|国税庁 「計算過程をさかのぼって確認できる機能」使用禁止に該当しそうな機能 SHARP アンサーチェック機能 ⇒ おそらく大丈夫です。ただ機種によるかもしれません。 搭載機種例:EL-N942-Xなど 実務電卓(ナイスサイズタイプ) EL-N942-X:シャープ EL-N942 取扱説明書ダウンロード ご利用条件:シャープ 説明書10ページにアンサーチェック機能についての詳細があります。1ページあるので、全てを引用することはできませんが、一部だけ抜粋し、税理士試験で使える電卓の要件と比較します。 税理士試験の要件:計算過程をさかのぼって確認できる機能、プログラムの入力機能があるものは、その機能の使用のみならず、計算機全体が使用できません。 ※計算過程をさかのぼって確認できる機能とは、例えば、本人が入力した計算式や計算過程を記憶し、さかのぼって画面上で確認できる機能を差しており、計算結果(答)のみを確認する機能はこれに該当しません。 EL-N942の説明書:この電卓は、前回の計算結果と2回目の結果が一致しているかどうかを照合することができます よって、EL-N942に搭載されているアンサーチェック機能は、税理士試験においては問題ないと思われます。 ネット上では情報が錯綜しています。国税庁の対応は時期によって異なるようですので、時系列でまとめます。 2011年07月13日 国税庁の対応には悲しくなりました。回答に満足できず、複数の地域に問い合わせをしましたが、どこもぶっきらぼうに「回答できません」と答えるのみ。" リンク先コメント欄 22 税理士試験 簿記論 講師日記 そうだ、講師に聞いてみよう! 2005年07月14日 ”「アンサーチェック」機能は、大丈夫ということのようです。” 税理士試験 簿記論 講師日記 続・電卓? 2005年07月11日 国税庁への電話問い合わせした人のコメント "アンサーチェック機能が付いているのは原則ダメだそうです” リンク先 コメント欄3 税理士試験 簿記論 講師日記 電卓? なお公認会計士試験(平成25年)では、アンサーチェック機能つき電卓を使用できることが明記されています。 試験場での使用は可とします アンサーチェック(検算)機能 (1回前の計算結果と答えを自動的に照合できる機能) 平成25年公認会計士試験受験案内 p8 CASIO 検算機能 ⇒ 駄目な機種もある。 機種にもよるものの、検算機能を使うときに音が出るため、CASIOの検算機能付き電卓には使えないものもあるようです。 検算機能の搭載機種例:JS-20WK 製品詳細 - 製品ラインアップ - 電卓 - CASIO JS-20WK / JS-10WK この機種の取り扱い説明書は、CASIOのサイトに見当たらない。PDF取扱説明書 ご利用の条件 - 電卓・関数電卓 - CASIO 検算機能が禁止機能に該当するかどうかについて、国税庁に電話しても、明確な返答はもらえないそうです。 2011年07月13日 "発売元のカシオに電話したところ、検算機能が禁止する機能に当てはまるとのことで回答を得ました 国税庁の対応には悲しくなりました。回答に満足できず、複数の地域に問い合わせをしましたが、どこもぶっきらぼうに「回答できません」と答えるのみ。" リンク先コメント欄 22 税理士試験 簿記論 講師日記 そうだ、講師に聞いてみよう! なお公認会計士試験(平成25年)では、検算機能つき電卓を使用できることが明記されています。当然、検算機能をつかっても音が出ない設定にできる機種のみ可でしょう。 以下の機能は・・・・試験場での使用は可とします アンサーチェック(検算)機能 (1回前の計算結果と答えを自動的に照合できる機能) 平成25年公認会計士試験受験案内 p8 footer 1階層上 1階層下 タグ 電卓 アクセス数(ページ) 今日: - 昨日: - 累計: - コメント 名前 コメント
https://w.atwiki.jp/chapati4it/pages/163.html
問1 ハミング符号とは、データに冗長ビットを付加して、1ビットの誤りを訂正できるようにしたものである。ここでは、X1、X2、X3、X4の4ビットから成るデータに、3ビットの冗長ビットP3、P2、P1を付加したハミング符号X1X2X3P3X4P2P1を考える。付加ビットP1、P2、P3はそれぞれ X1 xor X3 xor X4 xor P1 = 0 X1 xor X2 xor X4 xor P2 = 0 X1 xor X2 xor X3 xor P3 = 0 となるように決める。ここで、xorは排他的論理和を表す。 ハミング符号1110011には1ビットの誤りが存在する。誤りビットを訂正したハミング符号はどれか。 ア 0110011 イ 1010011 ウ 1100011 エ 1110111 問1回答 正解 ア 解説 排他的論理和とは、左右どちらかの値が1の時に1、それ以外の時は0になる論理演算の一つ。 誤りビットを訂正したハミング符号、つまり、正しいハミングを選択するには、すべての選択肢に対し以下の式で検算して、0になればよいです。 X1 xor X3 xor X4 xor P1 = 0 X1 xor X2 xor X4 xor P2 = 0 X1 xor X2 xor X3 xor P3 = 0 選択肢アの場合 X1 X2 X3 P3 X4 P2 P1 0 1 1 0 0 1 1 0 xor 1 xor 0 xor 1 = 0 0 xor 1 xor 0 xor 1 = 0 0 xor 1 xor 1 xor 0 = 0 選択肢アの検算結果がすべて 0 のため、正解はアで、これ以上は検算の必要はありません。 最後まで回答して時間に余裕があったら、他の選択肢も検算してみるとよいでしょう。 選択肢イの場合 X1 X2 X3 P3 X4 P2 P1 1 0 1 0 0 1 1 1 xor 1 xor 0 xor 1 = 1 1 xor 0 xor 0 xor 1 = 0 1 xor 0 xor 1 xor 0 = 0 選択肢ウの場合 X1 X2 X3 P3 X4 P2 P1 1 1 0 0 0 1 1 1 xor 0 xor 0 xor 1 = 0 1 xor 1 xor 0 xor 1 = 1 1 xor 1 xor 0 xor 0 = 0 選択肢エの場合 X1 X2 X3 P3 X4 P2 P1 1 1 1 0 1 1 1 1 xor 1 xor 1 xor 1 = 0 1 xor 1 xor 1 xor 1 = 0 1 xor 1 xor 1 xor 0 = 1 過去問2013年春午前1に戻る 問2へ
https://w.atwiki.jp/kt108stars/pages/10922.html
42 名前:ゲーム好き名無しさん[sage] 投稿日:2015/11/03(火) 23 58 46.30 ID ChPo0EMJ0 GMに伝える数値を常にと言っていいほどPL有利に間違うのって困…だよな 知り合いに聞いてみても「気にし過ぎじゃない?」と流されるし 本人に聞いてみても「考え違いをされているんじゃないかとは思いますが、疑わしかったら改めますよ」と言われるし ただ普段の態度がなんとなく他のPLに話するのと、俺に対して話するのとで距離の置き方が違うPLなのと 2,3度、ふと検算して見たら数値が若干PL申告した方がPL側有利になるように違ってると言うのがあって 何となく疑心暗鬼になっていると言うのもある はっきりした証拠がある訳じゃないんだけどね、聞いても「変に疑われるのは気分が良くないな」と言うしでどうしたもんかと PLを疑い続ける俺が困か、これ 43 名前:ゲーム好き名無しさん[sage] 投稿日:2015/11/04(水) 00 15 01.34 ID SqJeQdEV0 42 本人を追及するよりは周囲に根回しすべきなんだが 周りが流してるんならどうにもならんなあ おかしかったのは2、3度だけか? もっとデータ集めたほうがいいと思う さりげなく、セッションを邪魔しないようにな もしかするとあんたがチェックする事によってそいつは不正をしなくなるかもしれない つかあんたに対してだけ態度が違うのは不正に文句つけそうなのがあんただけだからじゃないか? 44 名前:ゲーム好き名無しさん[sage] 投稿日:2015/11/04(水) 00 36 29.18 ID KOcwPdcH0 42 逆療法だし、セッション1回無駄に捨てることになるかもしれないが チーム全体で達成値を出すようなときの判定を、一度そいつにやらせてみるとか。 そこで検算してみて、数値がおかしいとなれば、それなりに証拠にはなるだろう。 47 名前:ゲーム好き名無しさん[sage] 投稿日:2015/11/04(水) 09 08 52.15 ID ZrbGs71m0 42 本当に考えすぎの場合もあるので、同卓するPLにこっそり相談してそれとなく検算してもらったら? スレ427
https://w.atwiki.jp/modelbase/pages/15.html
更新日 2011-09-03 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計/付録 A 練習問題 解答例 ] これらは、問題領域の用語解釈によって答えが変わってくる。 ( a ) sibling:同じ両親を持つ子供の間の兄弟関係 議論領域を"ある両親から生まれた子供たち全員"と考える。 一人っ子のケースは除外する。 以下、兄弟関係rに制約を与える性質を検討すると、 (ここでは、姉や妹も兄や弟と呼ぶことにする) 同じ両親から生まれた子供のペアは兄弟関係なので、rは非空的でない 自分自身のことを自分の兄弟とは呼ばないので、rは非反射的 自分の兄(or弟)にとって自分は兄弟なので、rは対称的 自分の兄の弟が自分の場合、自分自身を兄弟と呼ばないので、rは推移的でない(rが非反射的かつ対称的なら、同時に推移的になれないので、推移性に言及する必要はない) 自分に兄や弟が複数人数いる場合も考えられるので、rが関数的か否かや、単射的か否かには言及できない。 誰もが兄弟を持つので、rは全域的 誰もが誰かの兄弟なので、rは全射的 関係rの制約をあらわすのに必要な性質は、 非空的、非反射的、対称的、全域的、全射的 となる。 解答を検算してみよう。 -- 構造の記述 sig C{ sibling set C } fact{ #C 1 } -- 子供たちは皆兄弟 pred anyone_is_sibiling{ all disj c1,c2 C | c1- c2 in sibling no (iden sibling) } -- 定義が適切かどうか様子を見る run show{ anyone_is_sibiling }for 4 -- 解答 -- 兄弟関係が持つべき性質 pred property{ let r = sibling, U = C{ -- nonempty (some r) -- irreflexive (no iden r) -- symmetric (~r in r) -- total (U in r.U) -- onto (U in U.r) } } -- 検算 check valid{ anyone_is_sibiling = property }for 4 ( b ) links:ネットワーク上の1ホストと、そのホストにリンクする複数のホストとの間のリンク関係 スキップ "ホストにリンクする"という表現だけでは、自分の常識の範囲では期待されている制約を想定できないので、"リンク関係"と呼ばれる関係に与える制約には、どの性質が必要になるのかわからない。 (実際の業務ならそのドメインの専門家にヒアリングしたいところ。。。) ( c ) contains:ファイルシステムにおけるディレクトリとその中身との関係 Unixのファイルシステムを想定。ルートディレクトリ以外に1つ以上ファイルがあるとし、シンボリックリンクは想定外とする。 議論領域は"ファイル"と考える。 以下、ディレクトリとその中身の関係rに制約を与える性質を検討すると、 ルートディレクトリ以外にもファイルがあるので、rは非空的 孫ディレクトリは親ディレクトリの中身と言わないことにすれば、rは推移的でない。と、検算前は推移的でないと思ったが、ルートディレクトリの直下にファイルがあるだけの場合は推移的になるので、結局、rが推移的か否かに言及できない 通常"ディレクトリの中身"というとき、そのディレクトリ自身は含まないので、rは非反射的 親ディレクトリを中身にできないので、rは対称的でない ディレクトリの中のファイル数には制約がないので、rが関数的か否かに言及できない 同時に複数のディレクトリの中身となるファイルはないので、rは単射的 必ずファイルは中身を持たないファイルがあるので、rは全域的でない ルートディレクトリは親ディレクトリが無いので、rは全射的でない 関係rの制約をあらわすのに必要な性質は、 非空的、非反射的、対称的、単射的、全域的、全射的 となる。 解答を検算してみよう。(というか、Alloyの解析結果をみながら解答を手直しした) open util/graph[File] as gr -- 構造の記述 sig File{ contains set File } sig Dir extends File{} one sig Root extends Dir{} pred fileSystem{ let r = contains{ -- graphライブラリを使って記述を省略 gr/tree[r] gr/rootedAt[r, Root] (File - Dir) in leaves[r] some (File - Root) } } -- ファイルシステムの定義が適切かどうか様子を見る run show{ fileSystem }for 4 -- 解答 -- ファイルシステムが持つべき性質 pred property{ let r = contains, U = File{ -- nonempty (some r) -- irreflexive (no iden r) -- Not symmetric not (~r in r) -- injective (r.~r in iden) -- Not total not (U in r.U) -- Not onto not (U in U.r) } } -- 検算 check valid{ fileSystem = property }for 4 反例が出ないので自分が考える"ファイルシステム"においては、必要な性質記述になっていると思う。 ( d) group:ドローツール中の図的要素とグループ(同時に選択・非選択されている要素の集まり)との間のグループ関係 スキップ ( e ) sameGroup:同じグループ内での図的要素間の関係 スキップ ( f ) supersedes:あるファイルシステム内のファイルと別のファイルシステム内のファイルとの関係で、前者のファイルが後者のファイルの新バージョンになっているような関係 スキップ ( g ) substitutableFor:ある規格に準拠した任意のシステムにある2 つの部品間で、前にある方が後ろにある方で置き換え可能な関係(例えば電源は、同電圧で、同等以上の電力を供給する別の電源と置き換え可能である。) 規格は1種類以上あり、部品は複数存在し、部品は必ず何かの規格に準拠している、と想定する。 以下、部品間の置き換え可能な関係rに制約を与える性質を検討すると、 置き換え不能な部品もあるので、rが非空的か否かに言及できない 置き換え可能な部品は、被置換部品のすべての規格に準拠しているので、rは推移的 同じ部品で置き換えしてもよいので、rは非反射的でない 常識的には部品は交互に交換可能でないのでrは対称的でないが、全て万能部品(規格間に排他な関係がないとして、全規格に準拠した部品)にできれば、常に交互に交換可能であるから、rが対称的か否かに言及できない ある部品の置き換え可能な部品の数は限定できないので、rが関数的か否かに言及できない ある部品が幾つの被交換部品へ交換されるか、その数は限定できないので、rが単射的か否かに言及できない すべての部品について交換可能な部品の有無は限定できないので、rが全域的か否かに言及できない すべての部品について被交換部品の有無は限定できないので、rが全射的か否かに言及できない 関係rの制約をあらわすのに必要な性質は、 推移的、非反射的 となる。 解答を検算してみよう。 -- 構造の記述 some sig Standard{} some sig Component{ based some Standard, substiutableFor set Component } fact{ #Component 1 } -- 部品交換の可能性についての定義 pred component_compatibilty{ all c1,c2 Component | c1.based in c2.based = c1- c2 in substiutableFor } -- 定義が適切かどうか様子を見る run show{ component_compatibilty }for 4 -- 解答 -- 部品間の置き換え可能な関係が持つべき性質 pred property{ let r = substiutableFor{ -- transitive (r.r in r) -- irreflexive not (no iden r) } } -- 検算 check valid{ component_compatibilty = property }for 4 反例はなし。
https://w.atwiki.jp/dentakutaku/pages/16.html
JS-20WK 機能 ・税計算 ・検算チェック