定理証明系や論理プログラミングに興味をもっています。

TOEICスコアは910点です。絵文字はいかがでしょうか？Qiitaの記事タイトルにも使えますよｗ 🎧😀😬😁😂😃😄😅😆😇😉😊🙂😋😌😍😘😗😙😚😜😝😛😎😏😶😐😑😒😳😞😟😠😡😔😕🙁😣😖😫😩😤😮😱😨😰😯😦😧😢😥😪😓😭😵😲😷😴💤💩😈👿👹👺💀👻

Qiita記事に書き込むコメントの9割は知ったかぶりで構成されています。