Sandbox
提供: Internet Web School
UNIQ7c72875043cf5373-MathJax-2-QINU2 による版
目次 |
表組みの例
| オレンジ | りんご |
| パン | パイ |
| バター | アイスクリーム |
整形済のプログラムリストの挿入
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;
