0

自己紹介/ooToRo29

37
0
$$$$

自己紹介

初めまして。ooToRo29と申す者です。
何者か?という情報は以下の通りになります。

情報

  • 2024年の春から高専4年生
  • 制御情報工学科
  • 現在、応用数学を勉強中
  • 機械学習に興味あり
  • Youtube で数学とプログラミングを交えた動画を不定期で更新
  • あと、少女の絵をよく描く(数学関係ない)

Mathlogを知った経緯

「なぜSNSで数式が使えないのか?」

僕は高専では数学ができる方なので、定期テスト前となるとDiscord等で質問を受けます。その際、僕が解説をするために送った数式がこちらです。

Discordで送った数式

1/2log|x| + 1/2log|x+2| - log|x+1|+C = 1/2(log|(x(x+2))/(x+1)^2|)+C

もちろん、Mathlogでは、
$$ \frac{1}{2} \log \left| x \right| +\frac{1}{2} \log \left| x+2 \right| - \log \left| x+1 \right| + C = \frac{1}{2} \log \left| \frac{x(x+2)}{(x+1)^2}\right|+C $$
のように書けることは存じ上げております()
しかしDiscordではそうではない(一応、LaTeX in Discordなるものがあるけどあんま実用的じゃない。)
そこで、この節冒頭の疑問が生まれたというわけです。

では無いならどうするか?作ればいいじゃない!(高専生やぞ)
ということで、既存の数式が使えるサービスを調べてみました。

数式が使えるサービス(個人的調査)

ここで僕はMathlogというサービスを知りました。なお、数式が使えるサービスについてはまだまだ調査中なので、良いサービスあるよ!という方は教えていただけると幸いです。

もっと調べてみるとMathlogの管理人様は元高専生ではないか!
やられた!既に数式を使ったサービスが社会実装されているじゃないか。
あとなんだ! Mathlog公式Twitter ($\mathbb{X}$とは書かんぞ…)のプロフィールのところの現在位置$\mathbb{R}^3$ってやつは!センスが良すぎる…

Mathlogへの印象

さて、なんやかんやでMathlogを使ってみて色々参考にさせていただこうとしているのですが…そこで感じたことは記事の内容のレベルが高すぎ!!!!、、です。

数学エンジョイ勢の僕からすればどこもかしこもすごい完成度の記事ばかりでとてもびっくりしてます。ネットの海に数式という撒き餌が落とされればこんなに大物が釣れるのかと、、、(なんだこの表現)

いや、数式だけじゃない。

定義語句(任意)

定義

定理名(任意)

定理

証明手法(任意)

証明

上のように数学の記事を書くために必要な要素(定義、定理、証明etc...)が形式として用意されていて、さらに執筆意欲の湧く見やすいデザイン。(こんな使い方ですいません)書く側にも見る側にも優しい!

確かにここは数学特化の情報共有サービスなんだなと感じました。

おわりに

周りが数学を色々やっている中、僕一人だけ別の方向から記事を書いてしまって全く数学やってないじゃないかって感じなのですが初投稿で自己紹介の記事だから許されるでしょという気持ちで執筆しております。

前述のとおり、僕は数学エンジョイ勢です。自分で新しい定理を見つけたり定義を考えたりする予定はないので自分の身の回りの数学の話だとかプログラミングを交えた数学の話ができたらなと思います。
ちなみに、数式が使えるSNSの開発自体はまだ諦めるつもりは無いのでこれの進捗とかもあれば軽く書こうとは思います。

拙い箇所あったと思いますが、これにてooToRo29の自己紹介とさせていただきます。

投稿日:322
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

数学が割と好きな高専生

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中