それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
なぜCを学ぶべきなのか - 立命館大学情報理工学部セキュリティ・ネットワークコース プログラミング言語サポートページ
プログラミング言語としてのCは、初学者にとっては難しい言語であるのは確かです。中には、初心者が学ぶべき言語ではないと言い出す人もいます。ですが、私たちセキュリティ・ネットワークコースの教員は、我々のコースの学生は早期にCを学ぶべきであると考え、このカリキュラムを設定しています。以下に理由を列挙します。 Cはコンピュータの構造に深く根ざした言語なので、コンピュータそのものの学習を同時に進めることで、相互の理解が深まると考えています。例えば主記憶(メモリ)上にプログラムとデータの双方が置かれるフォン・ノイマンアーキテクチャや、メモリ上のデータ配置の問題、エンディアンの問題などを直接感じられるのはCならではだと思います。 CはOSや、コンパイラなどの言語処理系、組み込み機器などで広く使われており、その構造や動作と深く関わっているため、セキュリティとネットワークの理解のために欠かせないからです。
かわいい学 - yuiseki
「すべて何も皆、ことのととのほりたるはあしき事なり。し残したるを、さてうち置きたるは、面白く、いきのぶるわざなり。内裏造らるるにも、必ず作りて果てぬ所を残す事なり」
失敗学 - yuiseki
このことを無視した適切なフィードバック機構のない組織の存在が、悲惨な失敗が繰り返されるひとつの大きな原因である
Scrapbox - チームのための新しい共有ノート
Cosense turns experience into knowledge with effortless writing and linking. Cosense is a tool for the ingenious and creative.The key to productivity is knowledge. The more experience you accumulate, the more you can do. And you grow faster when you fight together. Now you can share experience and compound knowledge in your organization easily. Because it’s so easy-to-use, your team behavior evolv
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cognitive sophistication does not attenuate the bias blind spot - 西尾泰和のScrapbox
資産運用 - shao's Scrapbox
