Sandbox
提供: Internet Web School
(版間での差分)
| 1 行: | 1 行: | ||
| - | = 表組みの例 = | + | == 表組みの例 == |
{| border="1" class="wikitable" | {| border="1" class="wikitable" | ||
| 13 行: | 13 行: | ||
|アイスクリーム | |アイスクリーム | ||
|} | |} | ||
| + | |||
| + | == 整形済のプログラムリストの挿入 == | ||
| + | |||
| + | === nowikiを使う === | ||
| + | <nowiki> | ||
| + | ここにマークアップを無効にするテキストを入力します | ||
| + | </nowiki> | ||
| + | |||
| + | === preタグを使う === | ||
| + | |||
| + | <pre> | ||
| + | ここにマークアップを無効にするテキストを入力します | ||
| + | </pre> | ||
| + | |||
| + | <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; | ||
| + | </pre> | ||
2020年11月30日 (月) 03:22時点における版
目次 |
表組みの例
| オレンジ | りんご |
| パン | パイ |
| バター | アイスクリーム |
整形済のプログラムリストの挿入
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;
