・Dockerじゃないsystemd-nspawn+machinectlが非常に良い・99%のプログラマがIQ145のJKに「ダサい」と言われてしまう理由とは?【その1】「計算機科学のほんとうの基礎」を理解していない。IQ145の女子高生の先輩から受けた特訓5日間』を大変多くの方々にお買い求めいただき、感謝します。本書の全目次を公開し、質問を受け付けます。comments時間発展する物理系、つまり、私達が生活するこの宇宙の挙動を、関数型プログラミングでイミュータブルに記述する、という関数型リアクティブプログラミング(FRP)の概念実証をJavaScript言語でしてみましょう。我々の馴染みの深い「放物線」を例に取ります。「放物線を描く」と日常的によく使いますが、物理学(日本語)では正確には、「斜方投射」と言います。斜方投射(しゃほうとうしゃ)とは物体をある初速度をもって空中に投げ出す動作である。鉛直上向きにy軸をとります。はという恒等式で表せます。m/ss)これがニュートン物理学の時間発展する恒等式です。ボール初速度85.0~86.5m/sと公表されています。初速を85.0m/s、偏角30度とし、空気抵抗を無視したゴルフのスーパーショットっぽい斜方投射を上記時間発展する恒等式をそのまま用いて、worldtimestreamReactを利用して関数型リアクティブプログラミングのコードを書くと以下のようになります。code恒等式の宣言worldtimestreamで、物理系の時間tをコードに恒常的にマップするworldengineとして宣言しておきます。const恒等式そのものがtの時間関数coordinateEquationで宣言されています。};これで、すべての関係性は記述されていますが、この時間発展する時間関数の恒等式を実際の画面表示をするための「計算」は一切なされていません。ここまでは、物理系と物理量コードのストリームとの関係性が100%抽象世界として宣言されただけで、コンピュータのハードウェアでその関係性の具現化、つまりふたたび、そのストリームが具体的な物理系としての画面に反映する「計算」タイミングなどの指示は行われていません。計算からの画面描写(画面描写も関係式の計算に他ならない)この「計算」部分を一手に司るのが、ReactコンポーネントReactComponentです。0);で、___coordinateというストリームを、10ミリセカンドの解像度をもってtの時間関数coordinateEquationで「計算」することを宣言します。});コンポーネントを再描画します。時間発展する物理系、つまり、私達が生活するこの宇宙の挙動を、関数型プログラミングでイミュータブルに記述する、という関数型リアクティブプログラミング(FRP)を実現可能です。Posts量子コンピュータが超高速である原理と量子論とそれに至るまでの科学哲学史をゼロからわかりやすく解説01これは連載記事です。これは連載記事で、順次更新されます。この宇宙があらかじめ持っている計算能力に量子のレベルでアクセスして計算するマシン。都内の進学校に通っている。プログラミングが趣味でコンピュータ部に入部した。IQ145の知能を持つ美少女。セキヤの学校のコンピュータ部の先輩で、セキヤを厳しく指導する。