数学・科学・工学に関連する話題を提供している人のためのブロググループです。
はてなブログを持っていれば、誰でも参加できます。
この記事では、MATLABによる制御シミュレーションのアニメーション実装について紹介します。制御工学の理論を視覚的に理解するためには、シミュレーション結果をアニメーションとして表現することが非常に効果的です。ここでは、MATLAB File Exchangeで公開している6つの制御シミュレーションとアニメーション実装について解説します。 なお、状態フィードバック制御やオブザーバ設計の基礎については…
">パスカルの三角形の中央数1,2,6,20,…の母関数が(1-4x)^(-1/2)になることの一般化を考えました。 "> ">パスカルの三角錐の中央数1,6,90,1680,…は、 (1-3x)^(-1/3)と(1-3x)^(-2/3)と(1-3x)^(-3/3)を冪級数展開したときの各次の係数の積と同じになります。 ">■証明パスカルの三角錐のk番目の中央数は(3k)!/(k!)^3 ">(1…
前回、ヘッダオンリーライブラリをC++20のモジュールとして使用可能にする記事を書いた。謎にXのポストが伸びてしまったあたり、みんなモジュールについて「興味はなくもないけど使ってはいない」んだなぁとよく分かった。実際私もその一人だったのだから何も言えない。 さて、C++でのビルド環境といえば不幸にもCMakeがデファクトスタンダードとなってしまっているので、あの奇々怪々なコマンドに適応しなければモ…
📘 はじめての方へ ▶ 記事の読み順（入門ロードマップ） 原子力発電と聞くと、 「冷却が止まったらメルトダウンするのでは？」 という不安を思い浮かべる方も多いと思います。 ニュースや教科書で見聞きする 「冷却材」「メルトダウン」という言葉は、 それだけ強い印象を残します。 では、フュージョン（核融合）炉ではどうでしょうか。 プラズマを取り囲むブランケットにも冷却材が流れています。 もし、その冷却材…
シャノンの完全秘匿性による暗号理論を勉強して、定義の形式化およびそれに基づく定理の形式証明をやってきました。それらの記事は、 から始まる一連の記事でした。せっかくなのでこれらの成果を一つのレポジトリにまとめ直して少しでもわかりやすいものにしてみました。githubのレポジトリとしては以下になります。 レポジトリのフォルダ構造はこんな感じです。 ├── lake-manifest.json ├── …
はじめに 前回はRaspberry PiのPythonによるNeoPixelの制御方法を述べました。本記事ではPICマイコンによるNeoPixelの制御方法を書いて参ります。 ウェブやXを検索すると，PICマイコンの中でもCLC (configurable logic cell)を搭載するタイプにて，SPIとCLCを巧く組み合わせる方法が知られていることが分かりました。Microchip社のアプリ…
GM abstract scanのコードは、MIT ライセンスで公開しています（ライセンス）。MIT ライセンス保護下の内容（アプリケーションの動作など）についての質問を受け付けています。 下の「コメントを書く」を使って質問してください。
たまに，解の本質を問うような入試問題があったりしますが，今回は 2次方程式について考えてみます．ここに記している「極限」というのは，2次の係数を 0に近づけることを指しています． まずは，正の係数で 少し条件をつけて，ある程度話をしてから，その条件を緩めて考えていきます． の 2次方程式 において，としたときの解のふるまいについて調べよ． ただし，はいずれも正の数とし，を満たすものとする．方程式自…
混乱する静電場と静磁場の関係 遠隔作用の観点から記述できる現象論的な力の表現の代表例がクーロンの法則である。これは静電場のセクションに属する。 では、静磁場のセクションにおいて、遠隔作用の観点から記述できる現象論的な力の表現は何だろうか？ 高校物理が得意だった、比較的優秀な学生に聞いてみると、おそらく「アンペールの法則」と答える場合が多いのではないだろうか？しかし、アンペールの法則は、ガウスの法則…
今回はについて計算したいと思います。 まずは、この数の背景にある 正十七角形の作図問題 について簡単に説明します。 を素数として、正 角形が定木とコンパスで作図できることは、が作図可能であることと同値になります。たとえば、以下の図の ★ のマークの長さが のときの に相当します：この部分が作図できれば、垂線と円の交点をとることで、正十七角形が作図できることになります。逆に、正十七角形が作図できるの…
次のページ
