PHPカンファレンス小田原2024での発表資料です https://fortee.jp/phpconodawara-2024/proposal/4d39c7ef-058c-4648-b1d7-5510497e0d81
はじめに こんにちは。モノリスソフト プログラマーの木村です。 C++プログラムのメモリバグ検出ツールである Address Santizer(以降ASan)について調べましたので紹介します。 ASanを導入することで、コードを大きく変更することなく、容易かつ効果的にメモリバグを検出できる可能性があります。 ASanの概要 ASanは、ランタイムのメモリバグ検出ツールです。 LLVM(v3.1~)でサポートされ、VisualStudio2019(v16.9~)でもサポートされるようになりました。 ASanによって以下のようなメモリバグを検出できます。 解放後アクセス ヒープバッファオーバーフロー スタックバッファオーバフロー グローバルバッファオーバフロー リターン後のアクセス スコープ外後のアクセス 初期化順序バグ ASanの動作概説 ASanではざっくり以下の方法でメモリチェックを行い
とすればよいのですが、これでもなおgccコマンドではClangが起動されます。この状態でGCCを使うにはgcc-10コマンドを使います。GCCが起動されることを確認するには とすればよいです。ただし、GCCのバージョンが上がった場合には、gcc-11, gcc-12, ...とする必要があります。 静的解析 ソースコードの解析には動的解析と静的解析があります。動的解析は実際にプログラムを実行して行う解析で、静的解析はプログラムを実行することなく行う解析です。動的解析は普段printfデバッグやデバッガで行っていると思うので、ここでは静的解析を紹介します。新たにソフトを入れなくても、GCCとClangには静的解析機能が付いています。GCCでは-fanalyzer、Clangでは--analyzeを付けてコンパイルすると、静的解析が行われます。また、いくつかのプログラムで試したのですが、どうや
A powerful feature of the Raspberry Pi is the row of GPIO (general-purpose input/output) pins along the top edge of the board. A 40-pin GPIO header is found on all current Raspberry Pi boards although it is unpopulated on Raspberry Pi Zero, Raspberry Pi Zero W, and Raspberry Pi Zero 2 W. The GPIO headers on all boards have a 0.1-inch (2.54 mm) pin pitch. Any of the GPIO pins can be designated in s
猫の痛みの有無をAIで判別。世界で利用されるWebアプリ「CatsMe!」開発の裏側 2024年1月11日 株式会社Carelogy 取締役CTO 兼 医師 河本 直樹 東海大学医学部医学科を2021年4月に卒業。2021年2月に株式会社Carelogy設立、取締役CTOに就任。 株式会社Carelogy 取締役CDO 工藤 貴弘 慶応義塾大学大学院理工学研究科修士課程修了後、大手プラントエンジニアリング会社にITエンジニアとして在籍。2022年10月株式会社Carelogy取締役CDOに就任。「CatsMe!」においてはAIモデルの開発を担当。 今世界各地の愛猫家のあいだで話題のWebアプリ「CatsMe!」(旧:猫の痛み検知AI「CPD」)。「この猫は痛みを感じているのか、そうでないのか」を、猫の顔写真をもとにAIが判別するサービスです。2023年5月のサービスリリースから約4カ月で累
紀元前:水時計太古のフィードバック制御システムとして有名なのが、紀元前3世紀のギリシャで用いられていた水時計です。水時計は次のような機構で水を溜め、溜まった水の量で時間を計る装置です。 水が溜まるスピードを一定にするためには、1段目のタンクの水位を一定に保つ必要がありました。そのため三角錐型の「浮き」によって、下図のような機構で水の量が調整されていました。 この水時計、17世紀に振り子時計が登場するまでは、この世で最も精度のよい時計だったそうです。意外とすごいですね。 1788年:ワットの遠心調速機時は飛んで18世紀のイギリス。ここで制御工学の原点と言える装置が実用化されます。蒸気機関です。 蒸気機関は人類が初めて手にした原動機であり、産業革命をもたらしました。この蒸気機関の発展に多大な貢献をしたのが、ワット(Watt)です。 蒸気機関を産業利用するためには、生み出される回転の速度を一定に
丸山です。 先日、ウェリントンのビクトリア大学で「Light Sculpture」プロジェクトを紹介する機会を得ました。技術的な内容が多かったのですが、思いのほか好評でしたので、内容を一部整理して、こちらでもご紹介したいと思います。 水を撮ることの難しさ、面白さを感じていただければ幸いです。 Light SculptureHave You Ever Really Seen a Rainbow? As I zoomed in, I realized what was there. The sunlight in the water droplets warps, reflects, and disperses, showing us the rainbow. Light Sculpture #22, 2019 Edition 3 + AP2 125” x177” [318cm x 450c
目次 概要 事象 正しい設定 なぜ一部設定は機能していたのか あとがき 概要今回は、Nginxでリバースプロキシの設定をした際にハマった点があったので簡単に紹介します。 事象ミラーサーバーの提供にはロードバランサとしてNginxのリバースプロキシを設定して利用しています。 サポートするディストリビューションを追加するため、既存のリバースプロキシの設定を複製する形で設定を追記しました。 しかし、既存の設定は機能するにもかかわらず、追記した設定は機能しない問題が発生しました。 追記した設定は以下です。 location /ubuntu { proxy_pass http://192.168.x.y:80; } location /almalinux { proxy_pass http://192.168.x.z:80; } /ubuntu パスについては正しくリバースプロキシ先のHTTPサーバ
Nginxでリバースプロキシを設定する場合のメモ リバースプロキシで頻繁に使うディレクティブ 名称 概要 公式ドキュメント
bashなどの shell では "~/*" "$HOME/*" はホームディレクトリ以下のファイル名に展開されます. これをC/C++で実装する方法です 実装 wordexp(3) を使います #include <wordexp.h> #include <stdio.h> int main(int argc, char *argv[]) { wordexp_t exp; int flags = 0; int ret; ret = wordexp("~/*", &exp, flags); if (0 == ret){ int i; for (i=0; i<exp.we_wordc; i++){ printf("%s\n", exp.we_wordv[i]); } } wordfree(&exp); return 0; } なお wordexp は POSIX.1‐2001, POSIX.1
fedora 25 (Server Edition)をインストールしてみたら、rootファイルシステムが15GBしかないことに気づいた。 調べても、情報が古かったり断片的だったりするので、メモ書き程度に残しておく 現状調査 ディスクとしては64GBぐらい使えるはず。 [user@host ~]$ df -h ファイルシス サイズ 使用 残り 使用% マウント位置 devtmpfs 449M 0 449M 0% /dev tmpfs 460M 0 460M 0% /dev/shm tmpfs 460M 832K 459M 1% /run tmpfs 460M 0 460M 0% /sys/fs/cgroup /dev/mapper/fedora-root 15G 6.4G 8.7G 43% / tmpfs 460M 4.0K 460M 1% /tmp /dev/sda1 976M 131M
Featured Contents 注目のコンテンツ・イベント CEATEC AWARD 2023 受賞者決定! 今年のCEATECの目玉展示はこちら。世の中を変える、各社の取り組みがここに結集。 詳細をみる 『AIリアルタイム翻訳システム』を試験導入、40以上の言語に対応 CEATEC CONFERENCE(コンベンションホール/201会議室)、Hall4 Tech-Hub/Hall5 ピッチステージで実施!聴講者はご自身のスマートフォンなどで、QRコードにアクセス。簡単にリアルタイムAI翻訳をご利用いただけます。 詳細をみる Select Colection 今回の出展予定の技術・製品・サービスを70点以上掲載!出展者展示情報ページとあわせてチェックを忘れずに! 詳細をみる Tech-Hub 最新のテクノロジーや電子部品ロードマップなど、テクノロジーにフォーカス、モビリティ、スペーステ
ロードセルの定義 ロードセル(Load Cell)は、「加えられた力に対し、ある定義された関係で信号を発生する機器」としてJIS B 0155:1997「工業プロセス計測制御用語及び定義」に示されています。 さらに詳細に示した同B 7612-1:2008「アナログロードセル」では、「使用場所における重力加速度及び空気浮力の影響を考慮した後に、ひずみゲージで検出した量(質量)を別の量(出力)に変換することによって質量を測定する機器」と定義されています。 概ねいずれの場合も「力を電気信号に変換するセンサ」とみなせます。 力を検出するセンサには、他に磁歪式や差動変圧式、静電容量式、インダクタンスを利用したものなどもありますが、以下のような理由でひずみゲージ式ロードセルが広く普及されています。 ドリフトが小さく、精度が高いため、長時間のモニタリングに適している。 種類によってさまざまではあるが、比
ここ数年、コロナ禍で在宅の日々が増え、癒しを求めてネコを飼う人がグッと増えいまや飼育頭数は約895万頭となり、数字上は日本人の14人にひとりがネコを飼う空前のネコブームを迎えている。関連グッズも増え、中にはそこそこ値の張るものもある。そんなネコグッズを愛猫のために自作しているネコ飼いMakerたち。necobit(ねこびっと)さんもそのひとり。どんなものを作っているのか聞いてみた。 きっかけはネコイベント 名前にネコ(neco)を冠するぐらい、ネコ好きのnecobitさん。音楽と電子回路をテーマにMakerとしても活動している。その世界では知られた存在だ。 ロゴマークはもちろんネコ。現在は13歳になるメスの「ぽち」ちゃんと暮らしている。 necobitさんがネコグッズを作ることになったきっかけは、あるイベントだった。 necobit:たまたま知り合いから「ねこIoTLT」というオンラインの
テクニカル分析とファンダメンタルズと株式投資 株式投資というと、どのような学習を重ねればよいのでしょうか。この世界は実は体系的に学習するというよりは、経験則で積み上げてきた人のほうが多いのではないでしょうか。 基本的には会計的な財務諸表から決算、IRなどを読み込んで積み上げていくということになるのでしょう。 一方で、最初からテクニカル分析に入る人も少なくありません。FXや仮想通貨での取引を重ねてきた場合、その延長としてテクニカル分析のみで株式投資をしているという人もいますね。 私はファンダメンタルズがあってこそのテクニカルだと思いますが、正解はありませんね。この世界は平等で、数字が増えていればそれが正義なのですね。ファンダメンタルズが基本となる、というのはあくまで勝つための確率的な話に過ぎません。 ちなみにたぱぞうのブログではほとんどテクニカル分析を取り上げてきませんでした。強いて言うなら
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く