コロナ社

外部変形は データのやり取りをテキストファイルで行うので プログラム言語は 自由に選ぶことができます。図形は機能的かつシンプルなため、数多くのユーザーに受け入れられています。 maxima は 外部変形で何ができるのか考えてみます。 正方形の断面性能を積分で求めてみます。 計算式は材料力学や構造力学の本を参照してください。 ・材料力学本論 /前澤・吉峯訳 / コロナ社 付録２ 平面図形の諸元 ・建造力学 / 谷口著 / 裳華房 第18章 断面の諸係数、第20章 断面の主軸

はじめに こんにちは、検索基盤部の広渡です。検索基盤部では、検索クエリのサジェスト（以下、サジェスト）の改善を行なっています。ここでサジェストは一般的に「Query Auto Completion」と呼ばれる、検索クエリを入力した際に入力の続きを補完したキーワードを提示する機能を指します。 ZOZOTOWNにおいては検索クエリを入力したとき、最大10件の検索クエリのサジェスト（以下、サジェストリスト）が表示されます（なお、ランキングを考慮しない場合はサジェスト集合と呼ぶこととします）。また、サジェストリストのランキングはユーザーの行動ログを用いて計算されたスコアによって決定されます。サジェスト…

BB非解析解 1. 数値解析解 AAでは解が陽的に数式で得られるケースを挙げたが、自然界の振舞を表すODEはそれだけではない。非線形現象のためむしろ数式で表せない方が圧倒的に多い。そんな時は数値解析手法に頼る事になる。つまりAAで頑張っても解けない場合は数値解析しましょうという訳である。このブログの性格上、コーディングは最終手段なので、できる限りソフトウェアの搭載機能を利用していきたい。 数値解析手法は大きく次の３つに分けられる。陽解法は数値解析の基礎である。とにかくODEをどのようにコンピュータに計算させるのかを理解するために通らなければならない入口だ。本ブログではルンゲクッタ法を使った計算…

この記事ではモデル予測制御（Model Predictive Control, MPC）についてまとめます。モデル予測制御について説明した動画や関連記事リンクは最下部に置いています。モデル予測制御は，様々な制御問題に利用可能でかつ合理的な入力を生成することができる汎用的な制御手法です。MPCの応用領域やアルゴリズム，利用時に注意すべき点などについて述べた記事になります。本記事は概要を理解するための入門的な内容であり，数式はありませんので，実装する場合は関連書籍や文献を参考にして頂ければと思います。 モデル予測制御とは MPCと応用領域 モデル予測制御における最適化問題 モデル予測制御のアルゴリ…

はじめに 窓用エアコンのデメリットとメリット 窓用エアコンデメリット 窓用エアコンメリット 届いた様子 取り付け方 そして冬場・・ 寒さ対策 さいごに はじめに こんにちは。 我が家は賃貸マンションで家族5人と住んでいます。 その中で一部屋だけ通常のエアコンが設置でいなかったため、窓用エアコンという物を設置しました。 設置してくれたのは夫ですがね。 そんな我が家で取り付けた最近の窓用エアコンについて、それぞれメリット＆デメリットをご紹介します。 窓用エアコンのデメリットとメリット 我が家でとりつけた窓用エアコンのデメリット＆メリットについてです。 窓用エアコンデメリット 取り付けるのがセルフな…

統計検定準1級にに3回目の挑戦で合格できました。 今回は試験を受けるまでに参考にした書籍をまとめます。 公式テキスト類 これは外せないですね。まずこれをやって、全体感を掴みましょう。 ワークブックの方は膨大な範囲を1冊に収めている関係で、1回読んだだけで理解するのはなかなか骨が折れると思います。 私は途中でKaggleのコンペに出たり、スクラムマスターの資格を取ったりと色々他にも手を出しながらだったので、読み終わるのに1年近くかかりました。 ワークブックの内容をある程度理解したら後述の過去問に移って、わからないところが出てきたらこちらのテキストに戻る、ぐらいの進め方が良さそうです。 日本統計学…

ビジネスの世界では、常に新しいアイデアが求められています。しかし、どんなアイデアが本当に革新的で、市場に受け入れられるのでしょうか？今回は、未知のビジネスアイデアを紹介します。これらのアイデアは、まだ実現されていないか、あるいはまだ誰も気づいていないかもしれませんが、将来的には夢のような成功をもたらす可能性があります。 知識・スキルの販売サイト→【ココナラ】 1. バーチャルリアリティ(VR)で旅行するサービス 2. 人工知能(AI)で作るオリジナルの音楽やアート 3. ドローンで配達するサービス ---他にも **未知の世界への冒険** **アイデア１: 未来のエコヒーローを育てる環境事業*…

『不完全性定理とはなにか (ブルーバックス)』の不完全性定理の証明とチューリング機械の停止問題の証明について考えると、チューリング機械の停止問題の証明ではチューリング機械が停止するかどうか判定できると仮定したのに対して、不完全性定理の証明ではどうなっているのか考えます。不完全性定理の証明をチューリング機械の停止問題の証明に合わせて書き直したいと思います。まだそれはできていないので、まずはチューリング機械の停止問題から考えます。ここで書いたチューリング機械の停止問題の記事では、チューリング機械をプログラミング言語のメモリー上での状態として議論しようとしていましたが、本の流れに合わせる都合上そうな…

はじめに 2023年に買った（はず）の技術書中心リストと感想を残しておく。ところがブログ見直してると去年のブックレビューがなくて泣いている。 2022年だと漫画の話しかないし、 misakiworld.hatenablog.jp 2021年版に至っては諸般の事情でコメントなしバージョンしかなく、 misakiworld.hatenablog.jp その前になると2020年の翔泳社の本25本ノックとか、2019年のインフラ勉強会で発表したネタまで無いことになっている。 adventar.org misakiworld.hatenablog.jp まあ2022年は後半からいろいろあれがなにして、2…

「不完全性定理」の証明を書き直そうとしていたら新年になってしまいました。今後の目標を書いていこうと思います。毎年何か書こうと思っていたのですが、PCが壊れてから書いていませんでした。 このブログについて サーバーで永久に動作するプログラムを論理プログラミングで表す方法について調べていました。この目的で、現在は数式で表すことが難しいものをビジュアルプログラミングで表す例がないか調べています。このブログでは、当初は数式で表すことが難しいため通常は数式の変形で書かないようなものを数式の変形を使って証明することを考えていました。これをエレファントな証明と呼んでいました。現在はビジュアルプログラミングを…