今週のQiita技術書まとめ
2018年2月25日配信
プログラミング言語教育のXYZ, 仮説(52) Youtube(1) coq(9)
この資料は、下記のyoutubeにあげた資料の補足資料です。 名古屋Reject会議 2011 プログラミング言語教育のXYZ <この項は書きかけです。順次追記します。 目次 1. あなたはどうやって言語を覚えましたか
UMLモデリング入門
本書では、ＵＭＬを使い、ユーザー要求をどのようにモデルに落とし込んでいけばよいのか、その手順とポイントを基本から丁寧に解説。正解と言い切るのがむずかしいモデル作成にあって、より良いモデルへ導いていくための道筋をしっかり伝授。
Swift のパフォーマンス比較を正しくできますか？ パフォーマンスに差がないことをSIL から読み解く事例
Swift におけるパフォーマンス比較を、nil 判定を例に解説します。なお、パフォーマンスを比較する上で、コンパイル時の最適化^1の様子を観察することはとても重要です。この記事では、最適化の様子を中間生成物を通して観察する方法についても解説しています。 さて、結論から言うと、コンパイル時の最適化によって、nil 判定を != nil でする方法と if let でする方法は等価になります。したが…
