Nature Remo開発におけるテストフレームワーク『Catch2』の活用方法を紹介します - Nature Engineering Blog
3日目！ Nature Engineering Blog祭3日目は、ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) がお送りします。みなさま、自動テストはお好きですか？私は大好きです。手動で何度も同じことをテストするのは苦痛ですが、それをプログラミングのタスクに転化できるとなれば、最高ですよね！ 今回はNature Remoのファームウェア開発で使用しているユニットテストフレームワーク『Catch2』の活用方法を紹介します。ESP-IDFで使えるテンプレートプロジェクトも用意してありますので、少し長いですが、最後まで楽しく読んでいただけると嬉しいです。 Catch2 Catch2は (modern) C++で書かれたユニットテストフレームワークです。Nature RemoのファームウェアはC言語で書いていますが、テストフレームワークはC++で書かれたも
PPLサマースクール2021 「JavaScript処理系とChromeブラウザの実装技術」 - 日本ソフトウェア科学会 プログラミング論研究会 (JSSST-SIGPPL) (Special Interest Group on Programming and Programming Languages)
ニュース † Web ページを公開しました (6/29) 無事終了しました。講演資料へのリンクを追記しました (9/1) ↑ 概要 † JavaScript は世界でもっとも利用されている重要なプログラミング言語の一つであり、ウェブブラウザで利用可能なほぼ唯一のプログラミング言語という特徴から、ウェブアプリケーション開発で広く利用されています。 この重要性から、JavaScript処理系の性能改善に関する研究開発が活発に行われてきました。JavaScriptの性能改善は、動的な言語ながらの困難さも知られています。今年のサマースクールでは、鵜川さん（東京大学）にJavaScriptの実装技術について、その困難さをどう克服するか、基本的なところからご紹介いただきます。 JavaScriptを動作させるソフトウェアとして、Google が開発を主導するV8処理系、およびそれを利用するGoogle
やはりC++はCよりも遅い？
とりあえず、残りは細かいことが多いので後で書かないと思うので一般的なことだけ少し書き残しておきます。大人の事情もあるので具体的なことは勘ぐらずに一般論の個人的な考えとしてお願いします。まぁ、今回の内容には直接の知財問題は無いとは思いますが。 例えば、ある程度大きなプログラムで、昔はCで書かれていて、バージョンが上がる度にプログラムは大きくなり、大きいプログラムのメンテナンスや開発効率のために、また更に新しい規格のC++の記法を用いたりしてバージョンアップをしていくことは往々としてよくある話かと思います。 記法が高度で複雑になるほど、最適化も難しくなるはずです。 C言語程度の単純な記法に対しては、「__builtin_expect()」 とか 「__attribute__()」 とか 「#pragma」 のいろいろな最適化指定も効きましたが、高度な記述の最適化に必要な高度なコンテキストをコメ
boostjp
本サイトは、Boost C++ Libraries日本語コミュニティのWebサイトです。 Boost C++ Librariesに関する最新情報、日本語ドキュメント、Boost.勉強会の情報などを提供していきます。 このWebサイトは、以下のGitHubリポジトリにて作成を行っています。 boostjp/site : WebサイトのMarkdownソース boostjp/image : Webサイトで使用する画像リソース 関連サイト C++リファレンスサイト cpprefjp 運営者 boostjpは、以下のコアメンバが運営を行っています： Akira Takahashi Usagi Ito melpon Kohsuke Yuasa Akiko Yamanouchi ライセンスについて 本サイトの情報は、クリエイティブ・コモンズ 表示 3.0 非移植 ライセンス(CC BY)の下に提供して
おっさんのためのModernC++入門ガイド(草稿) - dec9ue's diary
みなさんはC++の読み書きができますか？ 自信がある方、いつ頃勉強しましたか？もし20世紀に勉強したのであれば、その知識は相当古いです。実質現在のModernC++(C++11以降のC++)とは概念上の互換性がないので脳のアップデートが必要です。 自信がない方、文法は知っているけどなんとなく使いこなせていない方、マサカリ屋にあーだこーだ言われて大混乱している方。必勝パターンを身につければもっと楽にコードを読み書きできるようになるかもしれません。 この文章の目的は、ModernC++におけるメンタルモデル(考え方)や必勝パターンをざっくりと導入することでみなさんが楽にModernC++を読み書きできるようなお手伝いをすることです。主要な内容としてはムーブセマンティクスと右辺値 とその次の章でだいたいA4換算で15ページくらい？ほかは正直流し読みしてもらえるような内容です。また、内容的にはその
型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
2020年代のEmacs入門
Author: conao3 Published: 2020-08-25 Last Modified: 2020-12-04 GitHub Source: md はじめに Emacsは1972年にMITで生まれ、今日に至るまで名だたるハッカーに愛されてきたエディタです。 Emacsがハッカーに愛されている理由は、Emacsがそれ自体、動的なEmacs Lisp環境であり、エディタの動作をEmacsの開発者ではないあなたが、ビルドなしで動的に自由にハックできることです。 OSと協調する必要のあるEmacsのコアとEmacs LispそのもののコアをC言語で提供する他は、ほとんど全ての機能がEmacs Lispによって提供されています。 あなたは細部にわたってEmacsの全てを制御できますし、Emacsの上にあなたの思い描く、あらゆるアプリケーションを構築することができます。 Emacsはあな
どのウェブフレームワークが一番高速に動作するのかが一目で分かる「Web Framework Benchmarks」レビュー
普段何気なく目にしているウェブサイトも、裏ではさまざまなフレームワークを活用しています。「Web Framework Benchmarks」はそうしたフレームワークたちがアクセスをさばくときの処理速度を計測してベンチマークにまとめたもので、2013年に公開されて以降、年々アップデートが積み重ねられて多種多様なフレームワークの実力を一目で確認できるようになっています。 TechEmpower Framework Benchmarks https://www.techempower.com/benchmarks/ 上記のURLへアクセスすると、2020年5月28日にアップデートされた「Round 19」の内容が表示されます。 こんな感じでテスト結果がランキング形式で表示されます。さまざまなテスト結果が掲載されていますが、最初に表示される「Fortunes」はデータベースを読み取ってHTMLを生
競技プログラミングにおけるコードの書き方とその利便性
10. オブジェクト形式マクロ #define MAX 128 ● コンパイル前の処理(プリプロセッサ) ● プログラム中のMAXが128に置換される ● MAXIMAとか描いても128IMAにはならない int array[MAX]; // => int array[128]; int r = MAXIMA; // => int r = MAXIMA; 11. 関数形式マクロ #define SQR(x) x * x ● 関数っぽく置換される ● 本当にただ「置き換えるだけ」 int area = SQR(side); // => int area = side * side; int x = SQR(a + b); // => int x = a + b * a + b; 12. 関数形式マクロ #define SQR(x) (x) * (x) ● 引数を()でくくると防げる ● 副作
Android StudioのC++サポート機能(JNI/Android NDK)で、ヘッダファイルだけで使えるライブラリ(Eigenとか)を使う - くらげ人間のパソコンカタカタメモ
前回の記事の最後に書こうと思って忘れてた部分。前回同様Android StudioのC++サポート(JNI / Android NDK)でライブラリを使う時の話。 画像処理の中で行列を扱うときにEigenとかを使いたい時があると思うんだけど、そういうヘッダファイルだけで使えるライブラリを使うときのメモ。 Eigen 3.3.4を例にやってみるので他のを入れたいときはそこを置き換える。 プロジェクト内にライブラリをコピーして使うだけ。C直下とかにあるやつを使うのは、絶対パスを書いておけばすぐできるかと思ってたけど、CMakeの知識不足ですぐにはできなかった。もし見てる人がいたらやり方教えてくれたら喜びます。 直接ではないけどCMakeでAndroid向けのOpenCVを利用するを参考にしています。 新しく追加編 ライブラリ置き場の設定 ヘッダファイルのコピー CMakeListsの設定 CM
［翻訳］なぜそんなに確信が持てるのか？ - 地面を見下ろす少年の足蹴にされる私
前書き この記事はC++標準化委員会の2019年12月公開の論文の1つ、Bjarne Stroustrupさんが書かれた「P1962R0 How can you be so certain?」という論文の和訳です。 この文章はC++標準化委員会における機能追加時の議論を念頭において、C++標準化委員会メンバーに向けて書かれています。したがって、読むにあたってはC++の機能などについてある程度知っている必要があるかと思います。 私の英語力はひよこ以下なので訳の正確性には全く保証がありません。特に、細部のニュアンスの解釈は大いに間違っている可能性があります（修正してやる！という方がいましたら、この記事のMarkdownソースからお願いします）。 以下の方に修正を賜りました k-satodaさん なお、翻訳の公開についてBjarne Stroustrupさんに連絡を取った所、問題ないとのお返事を
type_info - cpprefjp C++日本語リファレンス
#include <iostream> #include <typeinfo> struct Base {}; struct Derived : public Base {}; struct PolyBase { virtual void member(){} }; struct PolyDerived : public PolyBase {}; int main() { // 組み込み型 int i; int* pi; std::cout << "int is: " << typeid(int).name() << std::endl; std::cout << " i is: " << typeid(i).name() << std::endl; std::cout << " pi is: " << typeid(pi).name() << std::endl; std::cout <
【C++】Eigen関数一覧 - Qiita
係数毎の計算：掛け算, (mat1.array() * mat2.array()).matrix()と等価
Spaghetti Source - 各種アルゴリズムの C++ による実装
ACM/ICPC（プログラミングコンテスト）系列の問題を解くことを目標にして，各種アルゴリズムを C++ で実装してみた．極めて意地が悪い類の問題には対応していないし，特定の入力に対して高速に動くということもない．計算量も最良とは限らない． これらを参考にする方への注意とお願い： これらの記述は正確とは限りません．参考文献を参照することを強く推奨します．間違っている場合は是非教えてください． これらのプログラムは間違っているかもしれません．各人で検証することを強く推奨します．バグがあれば是非教えてください． 分類が怪しいので，これはこっちだろう，ということがあればコメントを下さると助かります． 注意！ 現在書き換え中 TODO 分類を正しく行う． 全体的に説明と使い方を詳しく． Verify していないものを Verify． ボロノイ図（いつになることやら……） 基本 テンプレート グラフ
ROS講座00 目次 - Qiita
数字は書いた順です。 kinetic->melodic->noetic移行中です。 記事中のコードは参考までに、github上のコードも参照してください。 (食い違いがあったらコメントで教えてください) イントロダクション 01 概要 ROSのメリット、デメリット、ユースケースについて説明します。 02 インストール UbuntuのインストールからROSのインストールまで説明します。 11 gitリポジトリ この講座の中のサンプルプログラムが入っているgitリポジトリです。 入門 基礎編 03 Pub & Sub 通信 C++でROSノードを作成し、ビルドし、実行します。 04 roslaunch roslaunchを使用して簡単にROSノードを実行します。 19 roslaunch2 roslaunchのrename、remap、arg、paramについて解説します。 05 ros to
「C++初心者からの脱出」を読んだ - 覚書
starpos.booth.pm よくありそうなタイトルのC++の入門書ですが、中身もよくありそう…ではないです。「文法やライブラリを一から説明して退屈なサンプルプログラムを作る」といったありきたりの入門書とは一線を画し、C++が持つ膨大な機能の中からいくつかを選んで「これはこう使うとよい」「この機能は存在はしているけど使わないほうがいい」という意見をきっちりとした理由付きで書いている本です。筆者の星野さんが企業のインフラを支える下記のようなC++ソフトウェアをC++で長年書いてきたエンジニアであることもあって、それぞれの意見は観念的なものではなく、実践的です。これらの意見が唯一絶対なものとは言いませんが*1、C++初心者がモダンなC++プログラムを書く上で大いに参考になる本だと思います。 github.com 本書の対象読者は「C++使ったことあるけどどういう書き方がいいのかわからない」
C99からC++14を駆け抜けるC++講座 - Qiita
C++初心者Advent Calendar 2015 この記事はC++初心者Advent Calendar 2015 17日目の記事です <<9日目 ｜Clang with Microsoft CodeGenがでたので試す <<16日目 | ブログズミ: Boost.Test v3 を使ってみた || 18日目 | それC++なら#defineじゃなくてもできるよ | とさいぬの隠し部屋 >> はじめに みなさま、ナマステ。さて、この記事のタイトルを見て、「時代・・・サトウキビ・・・忍者・・・うぅ、頭が」となった人は私と趣味が似ています・・・って話はどうでもいいか。 よく、「C++はBetter Cとしてはじめればいい」みたいな話を聞くのでそれにそって一気にC++14まで駆け抜けようと思います。 ちなみにC99を知らない人はお断りです。さようなら。 でははじめますか。 しっかし書き終わって
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
PPL C++とJSを跨ぐ クロスコンポーネント ガベージコレクタ
C++ 標準ライブラリ - C++ の歩き方 | cppmap
IPA セキュア・プログラミング講座：C / C++言語編