ブログ

掲示板でブログを紹介

ご自分のブログを紹介してね

掲示板


HOME>


リンクサイト>


顔文字素材>



顔文字素材



顔文字素材へ



顔文字の素材を集めているホームページですこれからも顔文字の種類を増やしていきますのでよろしくお願いします

顔文字(かおもじ)は、文などの文字の中で表情などを持った顔のように見える文字を使用することで表情の意味を絵文字のように表す表現である。文字や記号を組み合わせて表情を表現したものと、単独の表情の表現された絵文字がある。文字や記号を組み合わせて複数の行で表現されたものはアスキーアートと区別して扱われる。







再帰理論

数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や エフェクティブ記述集合論とも密接に関係する。


証明論

数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。