東京大学大学院 / 人文系
論理式の形成木生成&可視化プログラム
Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd edition, Harcourt/Academic Press, 20011972, p. 31 に載っている、命題論理の論理式の形成木を作るアルゴリズムをPythonで実装したものです。ただ形成木を生成するだけでなく、可視化したものをpng形式で出力します。
片山 光弥
東京都
400万人が利用する会社訪問アプリ
片山 光弥
哲学を研究している博士課程の大学院生です。 エンジニアとして就職したいと考えており、現在就活中です。 好き／得意な言語はPythonですが、業務（インターン）経験があるのはRuby on Railsです。C系の言語も少し書けます。
この先やってみたいこと
未来
まずはサーバーサイドエンジニアとして研鑽を積みたいです。唯一業務（インターン）でのチーム開発経験があるのがRailsなので、Railsや同種のフレームワークを使いこなせるようになるところから始め、Webアプリ開発の基礎力を身に着けたいと思っております。 チーム開発の経験がある程度積めたら、せっかくPythonが好きなので、データ分析や機械学習といった方面へ手を広げていければと考えております。
東京大学大学院
人文系
- 論理式の形成木生成&可視化プログラム
Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd edition, Harcourt/Academic Press, 20011972, p. 31 に載っている、命題論理の論理式の形成木を作るアルゴリズムをPythonで実装したものです。ただ形成木を生成するだけでなく、可視化したものをpng形式で出力します。
限定公開の職歴・学歴
片山 光弥さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
片山 光弥さんのプロフィールをすべて見る