誊肌

面弥淡恕

 面弥淡恕とは、2灌遍换*をx*yのように山す数恕のことである。客粗が办忍弄に纷换するときはこの缄恕が蝗われている。しかしコンピュ〖タにとってみれば、この缄恕が呵帘とはいえない。なぜなら面弥淡恕だと眶及の山附において崇柑を脱いないと眶及の豺坚が郏随になってしまうからだ。办数、肌の疽拆する涟弥淡恕や稿弥淡恕だと崇柑がなくても扦罢の眶及が山すことができる。

涟弥淡恕

 *xyのように今く缄恕を涟弥淡恕∈ポ〖ランド淡恕∷という。ポ〖ランドの侠妄池荚ルカシェヴェッツによってちなんで叹烧けられた。

ポ〖ランド淡恕が蝗われる眷烫

  • LISP

耽羌弄年盗

裁恕+と捐恕ˇの坤肠の耽羌弄年盗

 裁恕+と捐恕ˇからなる涟弥淡恕の眶及の妨喇惮搂を耽羌弄に年盗すると肌のようになる。ただし恃眶はすべてxで山すことにする。

  1. xは眶及である。
  2. X,Yが眶及ならば、+XY,ˇXYはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

ブ〖ル妨及の耽羌弄年盗

 ブ〖ル妨及∈ブ〖ル簇眶の眶及山附∷では、遍换淡规として肌の4つが脱いられる。

  • 输¨”
  • 下¨+
  • 姥¨ˇ
  • 怯戮弄侠妄下∈茨下∷¨XOR

 恃眶はすべてxで山すとする。

 このとき涟弥淡恕で山したブ〖ル妨及の怠墙弄年盗は肌のようになる。

  1. xは眶及である。
  2. X,Yが眶及ならば、”XY,+XY,ˇXY,XOR XYはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

炭玛侠妄及の耽羌弄年盗

 炭玛侠妄及では、遍换淡规として肌の4つが脱いられる。

  • 容年¨×
  • 联咐¨⑺
  • 息咐¨⑹
  • 圭罢¨ⅹ

 炭玛恃眶はすべてpで山すとする。

 このとき涟弥淡恕で山した炭玛侠妄及の怠墙弄年盗は肌のようになる。

  1. pは眶及である。
  2. p,qが眶及ならば、×pq,⑺pq,⑹pq,ⅹpqはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

稿弥淡恕

 xy*のように今く缄恕を稿弥淡恕∈嫡ポ〖ランド恕∷という。

毋¨奶撅の眶及≈e=(a-b)∴(c+d)∽を嫡ポ〖ランド淡恕の眶及に恃垂する眷圭

  1. e=(a-b)∴(c+d)
    • ≈a-b∽を嫡ポ〖ランド淡恕の眶及≈ab-∽にする。これをXとする。
  2. e=X∴(c+d)
    • ≈c+d∽を嫡ポ〖ランド淡恕の眶及≈cd+∽にする。これをYとする。
  3. e=X∴Y
    • ≈X∴Y∽を嫡ポ〖ランド淡恕の眶及≈XY∴∽にする。これをZとする。
  4. e=Z
    • ≈e=Z∽を嫡ポ〖ランド淡恕の眶及≈eZ=∽にする。
  5. ≈eZ=∽にZ∈,Y,X∷を洛掐していく。すると、≈eab-cd+∴=∽になる。

嫡ポ〖ランド恕が蝗われる眷烫

  • 办婶の排骂
  • コンパイラにおける面粗咐胳の眶及の山附

耽羌弄年盗

裁恕+と捐恕ˇの坤肠の耽羌弄年盗

 裁恕+と捐恕ˇからなる稿弥淡恕の眶及の妨喇惮搂を耽羌弄に年盗すると肌のようになる。ただし恃眶はすべてxで山すことにする。

  1. xは眶及である。
  2. X,Yが眶及ならば、XY+,XYˇはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

ブ〖ル妨及の耽羌弄年盗

 ブ〖ル妨及∈ブ〖ル簇眶の眶及山附∷では、遍换淡规として肌の4つが脱いられる。

  • 输¨”
  • 下¨+
  • 姥¨ˇ
  • 怯戮弄侠妄下∈茨下∷¨XOR

 恃眶はすべてxで山すとする。

 このとき稿弥淡恕で山したブ〖ル妨及の怠墙弄年盗は肌のようになる。

  1. xは眶及である。
  2. X,Yが眶及ならば、XY”,XY+,XYˇ,XY XORはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

炭玛侠妄及の耽羌弄年盗

 炭玛侠妄及では、遍换淡规として肌の4つが脱いられる。

  • 容年¨×
  • 联咐¨⑺
  • 息咐¨⑹
  • 圭罢¨ⅹ

 炭玛恃眶はすべてpで山すとする。

 このとき涟弥淡恕で山した炭玛侠妄及の怠墙弄年盗は肌のようになる。

  1. pは眶及である。
  2. p,qが眶及ならば、pq×,pq⑺,pq⑹,pqⅹはすべて眶及である。
  3. 笆惧の缄鲁きで评られるものだけが眶及である。

面弥淡恕 / 涟弥淡恕 / 稿弥淡恕の纷换

面弥淡恕涟弥淡恕稿弥淡恕
1+2ˇ3+1ˇ2 31 2 3ˇ+
(1+2)ˇ3ˇ+1 2 31 2+3ˇ
(1+2ˇ3)ˇ(4+5)ˇ+1ˇ2 3+4 51 2 3ˇ+4 5+ˇ

徊雇矢弗

  • ∝妨及咐胳と铜嘎オ〖トマトン掐嚏≠
  • ∝ソフトウェア倡券祷窖荚 羔涟滦忽∈答撩试∷ テキスト≠