Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌
この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真に安全なプログラムを書く方法」についてです。 「真に安全なプログラム」の定義は以下とします。 挙動が安定し、結果が予測可能となる 正しさの基準に基づき、プログラムの間違いを検知することができる 「真に」とはドメイン知識に基づく正しさという意味です。詳しくは後述します。 それと「そもそもRustで実装されるプログラムは安全じゃないのか」という想定質問については「メモリの操作は安全。だが、それだけでは真に安全なプログラムにはならない」が答えになります。これについて興味がある方、ぜひ最後までお付き合いください。 「真に安全なプログラム」を実現するレシピとしては「関
変更に強いアーキテクチャについてIT業界19年目の僕が超ザックリ説明する - Qiita
この記事は、設計・アーキテクチャ Advent Calendar 2018 の第7日目の記事である。 はじめに この記事では、IT業界19年目の僕が実践している変更に強いアーキテクチャについて、出来るだけ難しい表現を避け、教科書的なありきたりな内容ではなく現場の肌感覚に近い切り口で「超ザックリ」な解説を試みてみようと思う。 普段自分がよく用いている実装パターンの紹介ともいうべきかも知れない。 この記事で説明すること いざ「変更に強いアーキテクチャとは」とズバリ訊かれても、一概に「これだ！」という答えはない。 プログラミング言語や、フレームワークによっても条件が異なるし、利用可能な技術や開発チームの特性、業務要件や運用要件の特性によっても様々であるし、インフラや開発プロセスまで含めて考えると考慮すべきことは無限にある。 ここでは主にソフトウェアの構造という観点から、"変更に強い" ということ
実力よりも高給なのになぜかワーキングプアの中国現地で目にした「ゲンバの凋落」は我が身を映す鏡
株式会社O2（オーツー）、株式会社XrossVate（クロスベイト）、株式会社安田製作所代表取締役。1970年生まれ。千葉県出身。早稲田大学政治経済学部経済学科卒。大手化学メーカー、外資系ＩＴベンダーのディレクター、コンサルティングファームのディレクターなどを経て、2004年株式会社O2を設立、代表取締役就任。2013年に新会社XrossVateを設立。2014年に射出成型用金型メーカ株式会社安田製作所に出資を行い経営参画。 日の丸製造業を蘇らせる！“超高速すり合わせ型”モノづくりのススメ 日本の製造業は危機に瀕していると言われて久しい。様々な業界関係者が口にする「日本企業は技術で勝っても事業で負けている」という言い訳は、本当に正しいのか。実は、日本のゲンバにはもっと根深い本質的な課題がありそうだ。日本企業の5重苦、7重苦の原因は、日本の技術力の低下そのものにあり、その原因は大きく「技術伝
本当のオブジェクト指向は可読性を上げる
Flutterでscroll viewとexpandedを併用してsign in sign up画面 などの レイアウトを作成するIgaHironobu
リファクタリング―プログラムの体質改善テクニック読んだ - 銀の人のメモ帳
リファクタリング―プログラムの体質改善テクニック (Object Technology Series) 作者: マーチンファウラー,Martin Fowler,児玉公信,平澤章,友野晶夫,梅沢真史出版社/メーカー: ピアソンエデュケーション発売日: 2000/05メディア: 単行本購入: 94人 クリック: 3,091回この商品を含むブログ (307件) を見る 残念ながらピアソン桐原から出版されていたので、現在は手に入りにくいんだけど、読んだ。 内容的には、リファクタリング手法のカタログみたいな感じだと思う。５章くらいまでは、導入とか、リファクタリングの心構えみたいな事が書いてある。 リファクタリングをするときに「いつすべきか？」というのが問題になると思うんだけど、この本では、機能を実装するときにその周辺をリファクタリングするといいと書いてあった。これは「動いてるものは触るな」っていう考
プログラミングの設計など一連のツイートまとめ（仮）
望月獅子 @_MoonBright 決められたことやってないって思う時点でおかしいね･･･。透視能力でも持ってるのかね？仕様書通りに作ること、品質、生産性を考えてるのが自分だけだとでも。それこそ誰だって考えてる。そんな前提事項をどや顔で語られてもドン引きでしょ･･･。 2013-06-30 10:04:39
Island Life - メッセージキューの設計
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
ドラフトというデザイン集団を率いる宮田識さんという人がいまして、デザインの現場のインタビューをしにいったんです。怖い方だと聞いていましたので、びくびくしながら行きました。職場の状態をみると、働き方の工夫が感じられたので、それがどういうところからきているのかという、すごく抽象的な質問を投げかけてみました。軽い気持ちの質問でしたので答えはあまり期待してなかったのですが、意外にもビシっと返ってきて、「違和感を手離さないことです」と言われたんです。 私は、それを聞いて、ずっと頭の中に引っかかっていた最後のワンピー
積読・読書途中の本に関する雑感や、オンライン上の面白コンテンツ、そして世の中の不合理に対する暴言を脊髄反射的に記す。 yutakashino (柏野 雄太) another weblog: kashino.exblog.jp Archive ドラフトというデザイン集団を率いる宮田識さんという人がいまして、デザインの現場のインタビューをしにいったんです。怖い方だと聞いていましたので、びくびくしながら行きました。職場の状態をみると、働き方の工夫が感じられたので、それがどういうところからきているのかという、すごく抽象的な質問を投げかけてみました。軽い気持ちの質問でしたので答えはあまり期待してなかったのですが、意外にもビシっと返ってきて、「違和感を手離さないことです」と言われたんです。 私は、それを聞いて、ずっと頭の中に引っかかっていた最後のワンピースをゲットしたような気分になり、さらに掘り下げて
エンジニアにもわかる「ユーザーインターフェース設計」
ヤフー株式会社は、2023年10月1日にLINEヤフー株式会社になりました。LINEヤフー株式会社の新しいブログはこちらです。LINEヤフー Tech Blog はじめに 島津悠樹と申します。Yahoo! JAPANのソーシャルメディア系サービスの開発・ユーザーインターフェース（以下UI）設計を担当しています。私からは「エンジニアにもわかる『ユーザーインターフェース設計』」と題し、エンジニアのみなさまに考え方のヒントとなるようなネタをお届けします。 エンジニアの方々にとって、UI設計は、おもしろそう、けれど、どこかとっつきにくい......、そんな印象を持っておられるのではないかと思います。 私も以前はそう思っていました。ですが、とっつきにくさを理由にUI設計をやらないのはもったいない、という思いで試行錯誤した結果、なんとか、UI設計のお仕事をいろいろ担当させていただくことができるようにな
バグゼロのための設計原理
バグゼロのための設計原理 昨今、いかにソフトウェアの不具合を減らすべきかという議論がいろいろとなされています。現状として、量産直前での総ざらい、過去トラチェックで不具合を発見しても、待ち構えているのはあまりにも大きな手戻りと、穴を空けてしまう日程への困難な交渉業務です。 そこで、よく言われるようになってきたのが、“日々の品質の作り込み”＝“先手管理”が大切だということですが、スローガンとして理解できても、さて担当として何を実践すればよいのか迷うところです。もう少し、具体的にブレークダウンした方法論は、何かないのかと調べてみました。 その結果、以下の表に示す七つの実践原理をソフトウェア工学の論文より見つけてきました。［君島 浩氏（富士通）論文より部分引用］ 少しでも皆様のお役に立てるようここに公開します。
プログラマの麻疹 - 宇宙行きたい
id:t-wada と話してた時に出てきた「プログラマの麻疹」 プログラマはみんなどうせかかるんだから早めにかかっておいた方が良い そしてかかっておくと治った後にはさらに良いコードが書けるようになるので 恐れずにかかりましょう 名前 症状 僕の状態 OO 厨 多分、現在一番キャリアが多い。一時期 AOP 厨になってしまった人も含むことがある。Smalltalk を神格化し始める かかり中 function 厨 最近増えてきた。マルチコア時代に最適というわかりやすい感染源ができたことも要因の一つ。LISP が世界を作っていると信じる 挫折中 三項演算子厨 どんどんネストした三項演算子を書いてしまう。気がつくと自分でもよくわからなくなってることもある 治療済み テスト厨 テストのためだけにコードを書いてしまう。プロダクトコードのきれいさよりもテストのしやすさを求めてしまう 治療中 lambda
IDクラス - Java Solution会議室
現在、私のプロジェクトでデータベースの識別子(ID)毎にクラスを作成するという意見が浮上しています。 例えば、顧客テーブルの顧客ID、商品テーブルの商品IDがあるとして、DB上はNUMBER型だとします。 この場合、java側ではlongで実装するのが一般的だと思われますが、CustomerIDというクラスを作成するという考えです。（longをラップしている感じです） logn型の場合は、商品IDを指定しなければいけない箇所で、誤って顧客IDを指定する可能性があるので、よりタイプセーフに実装できるのがメリットだと思われます。 システムで使用するテーブル数は20個程度でIDは7種類程度しかありません。 なのでクラスを作成しても実装負荷が高くなることも特にありません。 個人的には、この設計はやりすぎだと思うのですが、みなさまはどう思いますでしょうか？ また、同様の設計を過去に経験した人は、やっ
ビジネス文書の質を高める2枚の紙 - これ僕.com：行動分析学マニアがおくる行動戦略
ビジネス文書を書くということは、その書類によって何らかの目的を達成したいわけです。 上司への報告用であれば、上司の知りたい情報を的確に伝えなければならないし、予算を取るための企画書であれば、審議する人を納得させるだけの材料を用意しなければなりません。 ここでは、ビジネス文書の質を高め、少しでも目的を達成できるようにするために、私が実践している方法を簡単に説明してみたいと思います。っても、大したことではありません。文章を書く前に、2枚の紙に手書きでぐりぐりって書きなぐるだけです。 用意するものはペンと2枚のA4用紙です。ペンは2〜3色あった方が良いかもしれません。A4用紙は何かの裏紙でOKです。 1枚目の紙には、次のようなことを書きます。 右端に達成したい目的を書きます そこに到達するためにクリアしなければならないことを書き出します 左端をスタートラインに、右端をゴールラインにイメージする
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日本語テストメソッドについて