オートマトン

http://dnagarden.hgc.jp/miyano/ja/lib/exe/fetch.php?media=20081219report.pdf 今から10年以上前に解いた形式言語理論のレポート課題です。当時はなぜかこのレポート課題の問4.に強い興味を持ち、冬休みの6割くらいをこのレポート課題に当てました。授業…

痔の手術&入院記録

実は10/5から痔の手術で入院していて、明日10/12に退院します。 僕は結構ひどい痔持ち(いぼ痔)で、今から10年くらい前の20才の冬に「殺してくれー!今すぐ息の根を止めてくれ!!!」ってレベルまで痔が悪化したことがあります。(母も痔持ちで、手術を2度…

Bドット制御則

人工衛星の姿勢制御方法の中で、Bドット制御則というものがあります。インターネットでこの制御則について調べてみても、あまり情報が見つからなかったので、ここで内容を簡単にまとめておこうと思います。ここでは、参考文献1, 2を参考に、間違いだと思った…

人工衛星の熱設計

現在Cube Satの開発に携わっているのですが、今開発している衛星から熱設計を新たにきちんと考えるようにしよう!ということになったので、最近は人工衛星の熱設計について調べていました。幾つか参考になりそうな情報が見つかったので、備忘録としてここに…

Set up mbed project environment (for mbed-cli and SW4STM32)

( 日本語版はこちら ) This section summarizes how to set up an environment of mbed project with any version of the mbed-os library (can be developed with both mbed-cli and SW4STM32). The following sections describe how to set up mbed projec…

mbedプロジェクトの環境構築(mbed-cli, SW4STM32対応)

( English version is here. ) 任意のバージョンのmbed-osライブラリを持つmbedプロジェクトの環境構築方法( mbed-cli と SW4STM32 の両方で開発可能)についてまとめる。 以下は、macOSでの設定について述べるが、Windowsでも同様の方法により構築可能。 1…