ソースを表示
提供: Internet Web School
Sandbox
のソース
移動:
ナビゲーション
,
検索
以下に示された理由により、このページの編集を行うことができません:
この操作は、
登録利用者
のグループに属する利用者のみが実行できます。
このページのソースを閲覧し、コピーすることができます:
== 表組みの例 == {| border="1" class="wikitable" |+Food complements |- |オレンジ |りんご |- |パン |パイ |- |バター |アイスクリーム |} == 整形済のプログラムリストの挿入 == === nowikiはダメっぽい === <nowiki> hoe hoe </nowiki> === preタグを使う === <pre> ここにマークアップを無効にするテキストを入力します. </pre> <pre style="font-size:medium"> 少し大きな文字のテキスト </pre> <pre style="font-size:large"> かなり大きな文字のテキスト </pre> <pre> environ vocabularies NUMBERS, REAL_1, FINSEQ_1, VALUED_0, XBOOLE_0, NEWTON, ARYTM_3, RELAT_1, NAT_1, XXREAL_0, ARYTM_1, SUBSET_1, CARD_1, CARD_3, ORDINAL4, TARSKI, INT_2, FUNCT_1, FINSEQ_2, PRE_POLY, PBOOLE, FINSET_1, XCMPLX_0, UPROOTS, FUNCT_2, BINOP_2, SETWISEO, INT_1, FUNCOP_1, NAT_3, XREAL_0; notations TARSKI, XBOOLE_0, SUBSET_1, FINSET_1, ORDINAL1, CARD_1, NUMBERS, XCMPLX_0, XXREAL_0, XREAL_0, REAL_1, NAT_D, INT_2, RELAT_1, FUNCT_1, FUNCT_2, FINSEQ_1, FINSEQ_2, VALUED_0, PBOOLE, RVSUM_1, NEWTON, WSIERP_1, TREES_4, BINOP_2, FUNCOP_1, XXREAL_2, SETWOP_2, PRE_POLY; constructors BINOP_1, SETWISEO, NAT_D, FINSEQOP, FINSOP_1, NEWTON, WSIERP_1, BINOP_2, XXREAL_2, RELSET_1, PRE_POLY, REAL_1,CARD_1; registrations XBOOLE_0, RELAT_1, FUNCT_1, FINSET_1, NUMBERS, XCMPLX_0, XXREAL_0, NAT_1, INT_1, BINOP_2, MEMBERED, NEWTON, VALUED_0, FINSEQ_1, XXREAL_2, CARD_1, FUNCT_2, RELSET_1, ZFMISC_1, FINSEQ_2, PRE_POLY, XREAL_0, RVSUM_1; </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> == 別ウインドウでハイパーリンク先を表示 == *<span class="pops"> [[cai_ja:EDUPHI00010001|CAIテストのページへ(新しいWindowが開きます)]] </span> *<span class="pops"> リンク先を別ウインドウで表示[http://mizar.org/version/current/html/alg_1.html] </span>
Sandbox
に戻る。
表示
本文
トーク
ソースを表示
履歴
個人用ツール
ログイン
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
検索
ツールボックス
リンク元
関連ページの更新状況
特別ページ一覧