論文翻訳アプリ「ほん訳こんにゃく」が凄すぎる話

2020/08/19   -論文紹介
 

こちらのnote ほんやくこんにゃくをつかおう を読んで、私も「ほん訳こんにゃく」を導入してみたのでインストール方法のメモを残します。 「ほん訳こんにゃく」とは、こちら 「ほん訳コンニャク」 を食べて …

切稜四面体

2020/08/18   -数学
 ,

菱形十二面体その12では立方体の辺をカットしたものを考えた。 このとき出てきた次の多面体は、切稜立方体と呼ばれる。 また、その13では正八面体の辺をカットして、切稜八面体が現れた。 そして、いずれも場 …

菱形十二面体 その13

これまでの記事 前回、立方体の辺をカットしていくことを考えた。 今回は、同じことを正八面体に対してやってみよう。 前回のMathematicaの式を少しいじるだけでそれが可能になる。 RegionPl …

菱形十二面体 その12

これまでの記事 今回は、Mathematicaで領域をプロットする機能を使って菱形十二面体に関係する話をしよう。 Mathematicaには、不等号で表される領域をプロットするための関数が用意されてい …

no image

四次元を「見る」方法 〜射影について〜 その3

2020/08/15   -数学
 ,

no image

四次元を「見る」方法 〜射影について〜 その2

2020/08/14   -数学
 ,

前回、投影と呼ばれる、3次元の物体を2次元に描き表すための方法を紹介した。 この投影とはいったいどういう操作なのか、数学を用いて解説してみようと思う。 まず、キャビネット図を例にとって考えてみよう。 …

四次元を「見る」方法 〜射影について〜

2020/08/13   -数学
 ,

今までに菱形十二面体の記事をたくさん書いてきたが、菱形十二面体についてどうしても書きたいことがある。 それは、「菱形十二面体は4次元立方体の射影である」という事実である。 しかし、これについて書くため …

菱形多面体たち

2020/08/12   -数学
 

私は今までの多面体の記事を書くにあたってMathematicaというソフトを利用しているのだが、Mathematicaの機能にはかなり便利なものもあって、その一つを使ってみたので紹介する。 実は、有名 …

菱形十二面体 その11

2020/08/11   -数学
 ,

これまでの記事 今回は、立方体から菱形十二面体を切り出す方法を紹介しよう。 そのためには、立方体の各面からダイヤ型に切り出すことが必要になる。 以下でその様子を見ていく。 まず、立方体の面のうちの1つ …

菱形十二面体 その10

2020/08/10   -数学
 ,

これまでの記事 今回は、菱形十二面体の対称性に注目してみよう。 この菱形十二面体を、対称性の高い方向から見てみるとどうなるだろうか。 まず、菱形十二面体には、菱形の鋭角が4枚集まっている頂点と、菱形の …