ソースを表示

== 表示名を変える ==

*[[線形計画法（生産計画）|表示はhoeだが実体は線形計画法のページです]]



== 表組みの例 ==

{| 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>