Sandbox
提供: Internet Web School
(版間での差分)
| 46 行: | 46 行: | ||
*<span class="pops"> [[cai_ja:EDUPHI00010001|CAIテストのページへ（新しいWindowが開きます）]] </span> | *<span class="pops"> [[cai_ja:EDUPHI00010001|CAIテストのページへ（新しいWindowが開きます）]] </span> | ||
| - | *<span class="pops"> [http://mizar.org/version/current/html/alg_1.html] </span> | + | *<span class="pops"> リンク先を別ウインドウで表示[http://mizar.org/version/current/html/alg_1.html] </span> |
2020年11月30日 (月) 03:37時点における版
目次 |
表組みの例
| オレンジ | りんご |
| パン | パイ |
| バター | アイスクリーム |
整形済のプログラムリストの挿入
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;
別ウインドウでハイパーリンク先を表示
- リンク先を別ウインドウで表示[1]
