本書を読むまで 私は 「できるだけ多くのことを達成できることが、いいこと」 と考えていて、夜遅くまで、あるいは土日にも勉強や作業したりすることもありました。 ですが、本書の中の 自分では何一つ選べないから、すべてを引き受けているだけなのだ とい…

線形時相論理式（Linear Temporal Logic：LTL）をできるだけ分かりやすく説明していこうと思います。 もともとはシステムが正しく動くかどうかを検証するために研究されていたものなのですが、最近ではロボットの移動経路に用いられたり、機械学習の一つであ…

コロナ禍でデリバリーサービスが一気に普及しましたよね。 私がフードテックと言われて、思い浮かぶものはこれぐらいのことでした… 本書を読むまでは、です。 本書を読み、世界で進んでいる「食」×「テクノロジー」のことを幅広く知ることができました。 ま…

培養肉といわれて、ピンときますか？ 私は本書を読むまでは 「培養肉って何？？」 「それが世界を救う？？」 という感じで、何も知りませんでした。 そもそも培養肉とは、動物から摂取した筋細胞を培養し、肉にすることです。 そして、もう一つ大きなくくり…

完全に自分向けの備忘録です。 論文を提出しようとすると、pdf testから 「4ページ目と5ページ目にType 3のフォントが使われているからダメだよ」 と言われてしまいました。 そこで「Tex type 3」で調べてみると、Texに \usepackage{lmodern} を追加するとTy…

5Gの周波数について 5G に割り当てられているのは、3.6GHz～6GHz帯の「Sub-6」と30～300GHz帯の「ミリ波帯」です。 また、5Gでの通信を考える際に帯域幅という周波数の幅が重要になってきます。 帯域幅とは、周波数の最小値と最大値の差です。例えば、100MHz…

プログラミングをしていると数か月前に自分で作成したコードが読めない...ってことよくありますよね。 あるいは、お仕事でプログラマーをされている方はコードレビューでレビュワーから手痛い指摘を受ける方も多いのではないでしょうか。 そして、Googleで「…