これは私ogata-kの簡単な自己紹介です。
以下、簡単なプロフィールです。
- 名前 ogata-k
- 出身 愛知県
- 年齢 29歳（2026年02月20日 現在）
- 経歴
- 千種高校 普通科
- 静岡大学 理学部数学科
- バイザー株式会社（2019年4月入社）
- 保持資格
- 2019年11月：基本情報技術者試験
- 2020年12月：コンタクトセンター検定試験 エントリー資格
- 2024年02月：E資格（E2024#1, PyTorch）
- 好きなもの・興味のあるもの
- 離散数学（特に、グラフ構造、ハイパーグラフ／incidence structure／部分集合族）
- 組合せ論
- 数理最適化（特に、組合せ最適化、ネットワークフロー）
- 代数学
- プログラミング
- コーヒー
- お茶
- ビール
- 日本酒
- 人外
- ドット絵
- アコーディオン
- 民族音楽
- ワールドミュージック
- ビリヤード
- 万年筆
- アカウント
- Github https://github.com/ogata-k?tab=repositories
- Qiita https://qiita.com/ogata-k
- Twitter（自称 X） https://twitter.com/ogtkzk
- Bluesky https://bsky.app/profile/ogata-k.bsky.social
- mixi2 @ogtkzk
- Mathlog https://mathlog.info/users/1206/articles
- Pixiv https://www.pixiv.net/member.php?id=17104101
- Amazonの欲しいものリスト https://www.amazon.co.jp/hz/wishlist/ls/1ASRTIMR378KY
| できること・学んだこと | 概説 |
|---|---|
| C言語 | 本屋で独習Cを見て少し興味を持った時に、最初はこれから学ぶとよいと聞いたので勉強してみた。 |
| C++ | 三角関数を使ったカーレースのゲームをDXライブラリで作りたかったから。ここからプログラミングに本格的に興味を持った。 |
| Ruby on Rails | 大きな分野の一つであるサーバーサイドのあるWebサイトを作ってみたかったため。ほかにもスクレイピングもしてみたかったため。 |
| LaTeX | 大学のレポートや知り合いが使っていた為。これで組版に少し興味を持つ。 |
| Mathmatica | 大学の授業で学ぶ。すごいソフトと思いながらも今後使わないだろうと思いながら勉強していた。初めて関数型に触れた言語？でもある。 |
| R言語 | 統計の勉強のため少し触れた程度。 |
| Python | データの事前処理にR言語が扱いにくく、細かい設定をしたかったので勉強がてら触ってみた。 |
| JavaFX | GUIなソフトを作りたかった。 |
| Androidアプリ開発 | Java使いにくいなーとか思っていたところに、AndroidがKotlinを採用したため学んでみることに。Flutterを使うまでは入門書を読んで理解できるレベルだったが、WInPアプリをJetpack Composeを使って開発したおかげでいろいろ理解が進んだと思っている。 |
| Haskell | 純粋な関数型指向が面白そうだった。構文解釈に初めて出会うのもこの言語。 |
| MarkDown | GitHub、Qiita等で使うために自然と覚えていた。 |
| HTML CSS JavaScript |
多くの就職希望先で必要となるために基本的なことを勉強した。 |
| Laravel | Laravelを使ったWebアプリケーションを運用・保守できる程度には実力を身に着けた。 |
| CLIツール | LinuxのBashからCLIツールに興味を持ち自分で作り始める。開発言語の比較のためにGo言語の勉強も少しここでした。 |
| Rust | CLIツールの開発言語の比較で興味を持ち、メインの開発言語の一つになった言語。 |
| Flutter | アプリ開発をできる程度には実力を身に着けた。Macを持っていないこともありiOSアプリは作れないがAndroidなら問題ない程度にはなった。 |
| SATySFi | LaTeXの代わりになるあと少しで最高な関数型組版用言語。Windowsユーザーには導入が難しく、関数型に慣れていないと書くことが難しい言語ではあると思う。 |
| 定理証明支援系 | CoqとLean4で学習した。良質な入門書がないのと定理証明支援系が過度期ということもあり入門どまり。ゼロから始めるLean言語入門は読んだ。 |
| Processing | Paizaというサービスで就活前にプログラミングをしており、そこで再帰的な処理により複雑なパターンを生成するというのに興味を持った。それを描画できるツールとして採用したのが入門の始まり。読むことはできるレベル。 |
| PyTorch | E資格の勉強のためにコードを読んで理解できる程度には理解した。 |
| Julia | 最適化の分析軸として扱うために少し勉強した言語。Pythonより書きやすいので気に入っている言語である。RustUpのようにJuliaUpを使って言語本体をインストールしたりバージョン管理できるのが大変良い。 |
| 組合せ最適化 | study-combinatorial-optimizationというリポジトリで実装の検証を行いつつ学習中。現在入門レベル。 |
| 数理最適化 | 上の組合せ最適化の補助としてライブラリからツールを呼び出すための方法と定式化の方法を学んだレベル。実務で使える数理最適化の考え方と数理最適化の実践ガイドは読んだ。 |
現在は、モバイルアプリ＋最適化サービスの実装と運用を軸に学習しています。
これまで取っ散らかっていた数学とプログラミングの興味の軸がそろったので、数年はこのあたりの学習をしていると思います。もちろん補助として他の学習もしていきます。