型システム 〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
リスクを見積もれる人、見積もれない人 - Feel Like A Fallinstar
システムでもウェブサイトでも共通ですが、何かしらプログラムというか制作を行う場合に、見事にプロジェクトを炎上させてしまう人と粘って何とか持ちこたえて納品に間に合わせる人が必ず出てきます。 もちろんそこにはスキルの差とか経験とか色んなものが絡んでるのですが、もうひとつ大きいと思うのが、いい意味で「臆病に」なれる力なんじゃないかと思います。 スケジュールを、希望ベースで引く人がいる 制作にはトラブルがつきもの。 相思相愛なんじゃないかと思うくらいの頻度で制作をしたらトラブルがやってきます。 にもかかわらず、こんなスケジュールを引いてしまう人が結構います。 ○月○日までにクライアント確認が取れて、そこから1週間で設計できれば、ちゃんと間に合います いや、それってあなたの勝手な仮定がうまく行くことが前提ですよね？ そんなに世の中自分の思い通りには動いてくれません。 大体こういうことをすると、土日に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
