Sandbox
提供: Internet Web School
(版間での差分)
| 41 行: | 41 行: | ||
end; | end; | ||
</pre> | </pre> | ||
| + | |||
| + | == 別ウインドウでハイパーリンク先を表示 == | ||
| + | |||
| + | *<span class="pops"> [[cai_ja:EDUPHI00010001|CAIテストのページへ（新しいWindowが開きます）]] </span> | ||
| + | |||
| + | *<span class="pops"> [http://mizar.org/version/current/html/alg_1.html] </span> | ||
2020年11月30日 (月) 03:35時点における版
目次 |
表組みの例
| オレンジ | りんご |
| パン | パイ |
| バター | アイスクリーム |
整形済のプログラムリストの挿入
nowikiを使う
ここにマークアップを無効にするテキストを入力します
preタグを使う
ここにマークアップを無効にするテキストを入力します
::---------------------------------------
:: Combined Circuit Structure of STC_TYPE0_Inter_Inter.
definition
let x1,x2,x3,x5,x6,x7 be set;
func STC0IIStr(x1,x2,x3,x5,x6,x7) ->
unsplit gate`1=arity gate`2isBoolean
non void strict non empty ManySortedSign
equals
:: WALLACE1:def 1
BitGFA0Str(x1,x2,x3) +* BitGFA0Str(x5,x6,x7);
end;
