こんにちは この時期まわりに親知らずを抜く人が多いのは気のせいでしょうか、大堀です。 今回は以前から書きたかったテーマ「デザインセンス」について 考えを書いてみようと思います。 個人的には「センス」という言葉は 時代とともに急速に変化するため体系化されることなく、 「なんだかよくわからないある種の才能」という認識が一般的なよう感じています。 ■センスがある人、ない人 まず、センスある、センスない状態について考察します。 デザイナーの端くれなので、ある意味でセンスで生計を立てているわけなんですが、 「センスの有無」はいろいろな分野で使われる言葉です。 「グラフィックセンスがない」「ビジネスセンスがない」「洋服のセンスがない」 でもこれらを仮に知識という言葉に置き換えれば 「グラフィックの知識がない」「ビジネスの知識がない」「洋服の知識がない」 となります。でも根源的にはそういうことだと思って

健全性と完全性の説明 ある特徴・性質cを満たす出力を生成するために提案・構築された手法Mがある。Mが健全（sound）であるとは、Mのいかなる出力oが目的とする特徴・性質cを必ず満たしていることを言う。Mが完全（complete）であるとは、検討している世界において、特徴・性質cを満たすすべての事柄を集めた集合をScとしたとき、Mの出力を集めた集合SmとScが等しくなることを言う。 概念の利用例：アンチウィルスソフトウェア アンチウィルスソフトウェアは少なくとも健全でなければならない、完全であるならば申し分ない。 アンチウィルスソフトウェアとは、インストールされているマシンに対して保存されるファイル、あるいは、マシン上で起動されるプログラムがウィルスソフトウェアであるかどうかをチェックし、ウィルスソフトウェアであるならば、それをマシンの利用者に通知し、マシン上で起動されることがないようにす

Check: Goa Spirit music: https://goaspirit.bandcamp.com/ Soundcloud: https://soundcloud.com/goa-spirit Beatport: https://www.beatport.com/artist/goa-spirit/460798 Psychedelic GOA Trance 3 Mix 2013 Tracklist: X-Dream - Children Of Last Generation. The Fatima Mansions - The Loyaliser (Juno Reactor Instrumental RMX). Miranda - Year 2000. Luminus - Silicosis (Remix). Mos Fet - Supersonic

以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論

わかめ@毎日猫がいる @vvakame TypeScriptのunion typesと直和型と直積型と多相と小クワガタの区別をつけるための学習を始めよう。zakki 先生の教えに従う。 twitter.com/k_matsuzaki/st… 2014-11-25 23:04:27