20 万行超のコードベースをテストせずにリファクタリングリリースした話 - MonotaRO Tech Blog
こんにちは、鈴木です。 20 万行を超えるアプリケーションのほとんど全てのソースコードを変更し、テストを行わずに本番リリースしました。 「それってテストいるんですか？」問題 いきなりですが質問です。ソースコードを 1 バイトでも変更したら再テストする必要はあるでしょうか。「絶対に再テストすべき」という方もいれば、「状況によるしケースバイケースかな・・」という方もいらっしゃると思います。 ケースバイケースと考える方は、どのような場合にテストを行わなくて良いと考えるでしょうか。例えば、コメント内の誤字を修正した場合はどうでしょうか。ローカル変数の名前を typo していたので修正した場合、デッドコードを削除した場合はどうでしょうか。 こんなことがありました ある日、Python のソースコードを眺めていると、「# $Id」のような CVS 時代のコメントがありました。いまやソースコードは Gi
Coq のカリー・ハワード同型周辺について - Qiita
Coq のカリー・ハワード同型周辺についてメモ．間違いあればご指摘ください． Coq と CoC Coq は元々，Thierry Coquand 氏により提案された Calculus of Constructions (CoC) という型システムの実装として生まれました． その後 CoC は，帰納的データ型などが追加された Calculus of Inductive Constructions (CIC) に拡張され，現在の Coq は CIC の実装となっています． CoC/CIC は，基本的には型システムを定義しただけのものなのですが，実は Coq の証明システムはこの型システムがベース となっています． これは一体どういうことか，次からの節で，直観的な例を通して見ていくことにします． プログラム ≈ 証明 一般に，プログラムの型システムは，次の図みたいな推論木を組み立ててプログラムの
ベクトルの内積
(3次元の場合) AとBの内積 = Ax * Bx + Ay * By + Az * Bz (2次元の場合) AとBの内積 = Ax * Bx + Ay * By
定義するということ、そして読者の信念について。付録: 「関数は呼び出されるまで評価されない、というのは当然の性質だ」の検証 - Ryusei’s Notes (a.k.a. M59のブログ)
私はこのように言いました。 このように、遅延評価の意味合いは広がっていってしまう可能性があります。言葉を使う前に、いちいち自分の言う「遅延評価」とはこういう意味なんだぞ、と言っておかないと危ないと思います。 http://qiita.com/mandel59/items/8f9111143aea94e7b363#%E9%81%85%E5%BB%B6%E8%A9%95%E4%BE%A1%E3%81%AE%E7%94%A8%E4%BE%8B%E3%81%AE%E6%B7%B7%E4%B9%B1 ここで、「『遅延評価』とはこういう意味なんだぞ、と言っておく」というのは、「議論の前には『遅延評価』を定義せよ」ということです。 そして、kenokabeさんはこう言います。 やはりまず、「評価」の定義を教えていただけますか？ http://qiita.com/mandel59/items/8f9111
Unity Script Reference – Class Hierarchy
Runtime Classes Manual Reference Scripting Scripting > Runtime Classes Runtime Classes MenuOverviewRuntime ClassesAttributesEnumerationsEditor ClassesEnumerationsHistoryIndex AnimationCurve AnimationEvent AnimationState Application Array BitStream BoneWeight Bounds Collision Color CombineInstance ContactPoint ControllerColliderHit Debug Event GL GUIContent GUILayoutOption GUILayoutUtility GUILayou
Unity Script Reference Japanese
Unityスクリプトリファレンスへようこそ このドキュメントではUnityのスクリプトを作成するためのAPI情報を提供しています。このセクションのドキュメントの情報を利用するには、Unityのスクリプトに関する基本的な理解が必要とされます。Unity のスクリプトの基本は、マニュアルのスクリプトセクションで学ぶことができます。 また、スクリプトリファレンスはスクリプトから利用可能なクラスを中心に構成されており、そこからメソッド、プロパティや、利用に必要なその他の情報にアクセスできるようになっています。 多くのページではサンプルコードが掲載されており、このサンプルコードは用途を問わず、Unityからの許諾や著作権表記の必要なしで自由に利用することができます。サンプルコードは C# と JavaScript で提供されており、各ページのトップにあるメニューから選択することができます。API は
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OK | Oculus)
.NET Framework クラス ライブラリ ()
トップページ｜gihyo.jp … 技術評論社
CodeZine：プログラミングに役立つソースコードが満載な開発者のための実装系Webマガジン