LaTeXã«ã‚ˆã‚‹è¨¼æ˜Žå›³ã®è¨˜è¿° - kivantium活動日記証明図ã¯ã€Œbussproof.styã€ã«ãŠä»»ã›ã‚’å‚考ã«ã„ãã¤ã‹è¨¼æ˜Žå›³ã‚’書ã„ã¦ã¿ã¾ã—ãŸã€‚ã²ãªå½¢ã¯ã“ã‚“ãªæ„Ÿã˜ã§ã™ã€‚ \documentclass{jsarticle} \pagestyle{empty} \usepackage{bussproofs} \begin{document} \begin{prooftree} %ã“ã“ã«è¨¼æ˜Žå›³ã‚’書ã \end{prooftree} \end{document} 以下ã¯çœç•¥ã—ã¦prooftree環境ã®ä¸ã ã‘書ãã¾ã™ã€‚ ã¾ãšã¯ç°¡å˜ãªã‚‚ã®ã‹ã‚‰ \AxiomC{$(\Phi \land \Psi)$} \UnaryInfC{$\Phi$} \AxiomCã«ã¯å…¬ç†ã‚„å‰æã¨ãªã‚‹å‘½é¡Œã‚’記述ã—ã¾ã™ã€‚ \UnaryInfCã«ã¯å˜ä¸€ã®å‘½é¡Œã‹ã‚‰ã®å¸°çµã‚’記述ã—ã¾ã™ã€‚ \AxiomC{$\Phi$} \AxiomC{$\Psi$} \BinaryInfC{$\Phi \land
有é™é›†åˆã¨ã¯ä½•ã ã‚ã†ï¼ˆã‚¹ãƒˆãƒ¼ãƒªãƒ¼ä»˜ãç·´ç¿’å•é¡Œé›†ï¼‰ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
Mathematical proof - Wikipedia
Haskell+GADTã§å®šç†è¨¼æ˜Ž ãã®1: 型レベル自然数ã®ç‰ä¾¡æ€§ - keigoiã®æ—¥è¨˜
推移律ã¯ã„らãªã„? ─比較ソートã®æ£å½“性ã«å¿…è¦ãªæ¯”較関数ã®æ€§è³ªâ”€ - λx. x K S K ï¼ ã¯ã¦ãª
定ç†è¨¼æ˜Žç³» Haskell
)
Lagrange's Theorem (Group Theory) - ProofWiki
{{#tags}}- {{label}}
{{/tags}}