概要
やまいも
アニメとか数学とか哲学が好きな、組込みエンジニアのふりしたプログラマっぽい、ただのフツーな人。
サークル「いものやま。」主催。
連絡方法
- @yappy0625
- GitHub
- yamaimo
- hello <at> <this domain>
興味
「知性」がどのように生まれてくるのかに興味があります。
また、その探求で見つけた「知の面白さ」を伝えることに興味があります。
数理論理学
論理的に議論を進めていくための基礎です。
また、その基礎がどれくらい正しいかをメタ的に議論する数学基礎論にも興味があります。
数理最適化
世の中の問題の多くを数学的に解いていくための手法です。
問題が持っている制約条件と目的を数式に落とし込み、その中での最適な解を見つけ出します。
近年では、人工知能の研究でも使われています。
関係性の哲学
「そのものが何であるか」ではなく、「そのものが他とどういう関わりであるか」という「関係性」から考えていく哲学です。
「ものの間」にある構造を見つけ出す「構造主義」、「私と世界」の関係を記述していく「現象学」などが相当します。
神や道徳といった絶対的な基準が弱まった現代で、関係性を重要視する姿はよく見られます。
身体性の哲学
関係性の哲学によって相対化された世界の中で、世界に「原点」を与えるものとして、「身体性」に注目する哲学です。
ここでいう「身体性」というのは、身体がただの物体として存在しているのではなく、位相性を伴った器として存在していることを意味します。
人工知能の議論においても、身体性というキーワードは重要です。
プログラミング言語
問題を計算機で解くための具体的な手段です。
特に、近年はプロセッサのメニーコア化やヘテロジニアス化に伴って、データを並列に多様なユニットで処理することが求められていて、その解決手段としてデータフロー指向に興味があります。
また、プログラムを書くための開発環境にも興味があります。
OS・低レイヤー
身体性と関係して、プログラムと世界を繋ぐために、OSや低レイヤーに興味があります。
また、データフロー指向プログラムをメニーコア、ヘテロジニアスコアの上で効率よく実行させるためには、低レベルでのランタイムが必要で、その観点でも興味があります。
メディア
「知の面白さ」を伝えるための手段です。
ブログといったWeb媒体や、同人誌の作成、頒布に興味があります。
また、そのために必要な技術（HTML、CSS、組版など）にも興味があります。
