Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満足できる - 低レイヤ強くなりたい組込み屋さんのブログ
はじめに 2019/2/10追記 記事を書いてから気づいたのですが、正確には、Rustのアトリビュートをいくつか設定すれば、MISRA-Cのルールを90%満足できるでした。 私はMISRA-Cのコーディング規約でプログラミングしたことがないため、内容に誤りがありかもしれません。間違っている点があれば、ご指摘いただけるとありがたいです。 後、いつも通りですが、C言語を貶める意図は一切ありません。 昨日からtwitterで、Rustが組込みのセキュリティが重要な分野で広まると良いなぁ、という議論がありました。 その中で、車載では、やはりMISRA基準との関係が明確になること、ということが1つの基準になりそうでした。 github.com @hashaskell さんから、MISRAコーディングルールのうち、Rustコンパイラがアトリビュートの設定を含めて、保証するルールのリストを作成しているレ
日大前監督ら「容疑なし」 選手は傷害容疑で書類送検へ：朝日新聞デジタル
日本大アメリカンフットボール部の悪質タックル問題で、警視庁は５日にも、タックルをした男子選手（２０）を傷害の疑いで書類送検する。内田正人・前監督（６３）と井上奨（つとむ）・元コーチ（３０）については、試合映像の解析や関係者への聴取結果などから選手への指示は認められなかったと判断。容疑はないとする捜査結果の書類を送付する。捜査関係者への取材でわかった。 警視庁は、タックルされた関西学院大選手側の被害届を受理。日大選手は「けがをさせるつもりだった」と認めており、傷害容疑で書類送検するが、示談が成立していることなどから厳しい処分は求めない意見を付けるとみられる。同庁は、内田、井上両氏の指導を選手が誤って受け取ったと判断した。 両氏は記者会見で「けがをさせろ」という反則の指示を否定したが、日大は第三者委員会が指示を認定したことを受けて、両氏を懲戒解雇。内田氏は無効を求めて日大を提訴している。 警視
100円のカップに150円のカフェラテ注いで逮捕の男性釈放 | NHKニュース
福岡県那珂川市のコンビニエンスストアで、コーヒー用の100円のカップを購入したのに、150円のカフェラテを注いだとして窃盗の疑いで逮捕された男性について、検察は、処分保留のまま釈放しました。男性は被害を弁償する意向を示しているということです。 この男性について、福岡区検察庁は４日までに処分保留のまま釈放しました。 警察によりますと、男性は被害を弁償する意向を示しているということで、検察は今後も任意で捜査を進めることにしています。
さよなら、愛しのFreeBSD｜力武 健次 / りきたけ けんじ｜note
2019年1月末でFreeBSDに関連する開発活動を止めることにした。とても愛していたOSだけに身を切られるような思いは否めなかったが、別れが来るなら自分の自由になるうちにと思い、決断した。以下は個人的な想いを綴っている。 BSDの大元は、カリフォルニア大学バークレイ校で作られたオペレーティングシステム、今風に言えば基本ソフトだ。Berkeley Software Distributionというのがもともとの名前だ。 1985年に自分がUNIXに触れたころから憧れていたのがこのBSDだった。当時のBSDはまだオープンソースではなかったAT&TのUNIXのライセンス制限の傘下にあり、自由にソースコードが読めなかった。でもAT&TのUNIXであるSystem V（システムファイヴ）よりはずっと自由だった。その後、DECのULTRIXやSunのSunOS 4など、多くの先進的なUNIXマシンがB
「おれは鶴田さんが好きだった」涙のカリスマ・大仁田厚。その波乱万丈なレスラー人生【レスラーめし】 - メシ通 | ホットペッパーグルメ
電流爆破マッチの「邪道」レスラー 日々、リング上で熱い闘いを見せるプロレスラーたち。 その試合の基盤にあるのはタフな練習、そして “食事” だ。 その鍛えた身体を支えるための日々の食事はもちろん、レスラーを目指していた頃の思い出の味、若手の頃に朝早くから作ったちゃんこ、地方巡業や海外遠征での忘れられない味、仲間のレスラーたちと酌み交わした酒……。 プロレスラーの食事にはどこかロマンがある。そんな食にまつわる話をさまざまなプロレスラーにうかがう連載企画「レスラーめし」。 ▲写真提供：株式会社大仁田屋 2019年最初に登場するのは「邪道」「涙のカリスマ」として知られる大仁田厚さん。 プロレスファンならずとも頭に浮かぶ顔とパフォーマンス、その知名度は圧倒的です。 プロレスデビューは1974年。新日本プロレスで初代タイガーマスクが活躍していた時代、全日本では大仁田厚がジュニアの看板を背負っていまし
暗号知る創業者が死亡 仮想通貨200億円引き出せず | NHKニュース
カナダ最大の仮想通貨の交換会社の創業者が急死し、仮想通貨を管理するための根幹となる暗号を知っていたのがこの男性１人だったことから、11万人以上の顧客が日本円でおよそ200億円相当の資産を引き出せない状況となっています。 カナダやアメリカのメディアによりますと、外部と遮断されている状態からネットワークにつなげて、ビットコインなどの仮想通貨を引き出せる状態にするための暗号を知っていたのがコットン氏だけで、妻が雇った専門家もアクセスできなかったということです。 このため、11万5000人の顧客は１億9000万ドル（日本円でおよそ200億円）相当の資産を引き出せない状況となっています。 会社側は、カナダの裁判所に破産手続きの開始を申し立てたことを明らかにし、妻はコットン氏の死亡診断書を裁判所に提出しましたが、ネット上ではコットン氏の急死や、会社の対応への不信感が広がっています。 メディアは「カナダ
熟練工が1週間かかる調整作業→AIは1日で完了 三菱電機と産総研がFA分野でAI活用
三菱電機と産業技術総合研究所は2月5日、工場の生産ラインの準備作業を効率化するAI（人工知能）技術を共同開発したと発表した。産総研が提供するAI技術を、三菱電機が自社のFA（ファクトリーオートメーション）機器やシステムに実装する。熟練工が時間をかけて行っていたFA機器の調整作業などをAIに代替させ、作業時間の短縮を図る。 生産現場では、FA機器やシステムの調整、機器を動かすプログラミングなどにかかる工数の増加や熟練工の減少が問題になっている。こうした課題を解決するため、FA機器やシステムの調整作業をAIで自動化しようと考えたという。 「パラメーター調整」「画像判定」「異常検知」を自動化 小さな電子部品をプリント基板の決められた場所に載せる実装機では、機械の振動を抑えながら素早く目標位置に停止するようAIがモーターを制御。これまでは、あらかじめ熟練工が1週間以上かけて2種18個のパラメーター
元給食営業マンが「ファミマこども食堂」のスゴさを考察してみた。 - Everything you've ever Dreamed
コンビニチェーンのファミリーマート（ファミマ）がこども食堂運営に乗り出すらしい。「ファミマこども食堂」を全国で展開 ｜ニュースリリース｜ファミリーマート「大企業」「全国２０００店舗」というスケール感は従来のボランティアに支えられたこども食堂にはなかったものだ。この件について、僕は「スゴイ！物好きだなー！」というポジティブな第一印象を持ったのだけど、世の中は賛否両論みたいだ。賛否はそれぞれの考えや立場からのものだから別にいいのだけれども、「大企業」「営利」「こども食堂の運営きっつー」というぼんやりしたイメージで意見をいっている人が多いように見えた。ひどいものになると助成金目当てではないかという声も見かけた。企業ガー！ボランティアガー！理念ガー！意見をぶつけあうのは大変時間と精神に余裕があって結構だが、その議論が、こども食堂運営にかかる数字を把握しないでなされているものであったら意味がないので
ふるさと納税 返礼でギフト券100億円分を提供 大阪 泉佐野 | NHKニュース
ふるさと納税の返礼品をめぐって総務省が規制の強化に向けた法改正を目指していることに対して、大阪 泉佐野市は「閉店キャンペーン」と称して、返礼品に加えアマゾンのギフト券100億円分を提供する取り組みを始めたことを明らかにしました。総務省はギフト券の提供は制度の趣旨にも反するもので遺憾だとしています。 こうした中、大阪 泉佐野市は、法律が改正されればこれまでのような取り組みはできなくなるとして、「閉店キャンペーン」と称して今月から来月にかけてアマゾンのギフト券を提供する取り組みを始めたことを明らかにしました。 このキャンペーンでは、泉佐野市にふるさと納税をすれば返礼品に加え、アマゾンのギフト券を寄付額の最大20％分まで提供するとしています。 またギフト券の金額が100億円分に達し次第、キャンペーンを終了するとしています。 泉佐野市は昨年度、寄付金の受入額が全国で１位となり、総務省の規制強化に対
戦艦「比叡」見つかる 太平洋戦争中に沈没 謎の解明も… | NHKニュース
太平洋戦争中に南太平洋のソロモン諸島沖で沈んだ旧日本海軍の戦艦「比叡」をアメリカの調査チームが水深およそ1000メートルの海底で発見し、ＮＨＫがその映像を入手しました。船体が切断された状態になっていて大きな爆発によって沈没した可能性が高いことが今回、初めてわかりました。 アレン氏は去年10月に病気で亡くなりましたが、調査チームはアレン氏の遺志を継いで特殊な装備を備えた調査船を使って太平洋戦争で沈没した軍艦を探し続けていました。 調査チームによりますと、先月31日、ソロモン諸島のサボ島の北西の深さ985ｍの海底で、戦艦「比叡」を発見しました。 ソナーが捉えた形状からは、船腹を上にした状態で海底に沈んでいるのがわかります。 また、潜水艇から撮影した映像には、巨大なスクリュープロペラやかじ、高角砲の砲身などが映っています。 「比叡」は大正３年にしゅんこうし、たび重なる改装を経て、太平洋戦争の緒戦
Rust 公式 linter の clippy に新しいルールを実装した - はやくプログラムになりたい
Rust 公式の linter，clippy に新しいルールを足すプルリクを出してマージされた時のメモです． github.com dbg! マクロ Rust 1.32 で dbg! というマクロが追加されました． これは値を1つ引数にとってその値を返すマクロで，受け取った値とソースコード上での位置を print します． fn factorial(n: u32) -> u32 { if dbg!(n <= 1) { dbg!(1) } else { dbg!(n * factorial(n - 1)) } } dbg!(factorial(4)); 名前の通り，いわゆる print debug 用途のマクロなので，デバッグが終わってリポジトリに commit する前にはコードから dbg! マクロを削除しておくのがベストプラクティスです． 公式ドキュメントにも Note that the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
