型システム 〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
日本経済新聞社を退職しました - 銀色うつ時間
いわゆる退職エントリ。興味のない人は閉じるボタンを。 11月末で日本経済新聞社を退職した。2年8ヶ月という短い期間だったが、素晴らしい経験をさせてもらった。 やっていたこと 日経に入社して、日経電子版のwebを新しくモダンなアーキテクチャで作り直すプロジェクトの立ち上げから参画した。これは現在r.nikkei.comというドメインから配信されている。 r.nikkei.com 結局退職までこのプロジェクトがメインの仕事になったわけだが、最後まで全く飽きることはなかった。技術的な面で飽きずに働けるということはエンジニアにとって簡単なようでいて難しいことで、それができたのは最初のアーキテクチャの設計が優れていたこと、特定のフレームワークやライブラリに過度にロックインさせないポリシー、新しい取り組みにどんどん挑戦していけるカルチャーや環境（これは単純に人手不足という話もあるかもしれない）があって
Wordに全人類待望の“暴れ回るティラノサウルス”表示機能が追加 「虚構かと思った」「退職願に入れたい」 - ねとらぼ
マイクロソフトの「Word for Office 365」の新機能が、あまりにも便利過ぎると一部で話題になっています。“暴れ回るティラノサウルス”をページやスライド上に表示できるというもので、マイクロソフトの公式サイトにもバッチリ書かれています。そうそう、ちょうどページ上でティラノサウルスを暴れ回らせたかったのですよねってコラ。 機能を実際に使っているところ（画像提供：ミクミンP/Kazuhiro Sasaoさん） 拡大できます 角度も変えられます この“暴れまわるティラノサウルス”は、3Dアニメーション挿入の1つとして追加されたもの。しかし、公式サイトの「アニメーション3d グラフィックスを挿入する」のページではティラノサウルスがギロッとこちらを見てくるアニメーションが表示されることなどから“暴れまわるティラノサウルス”こそがこの機能の主役であることは間違いありません。 こっち見んな（画
相次ぐ外資系出店、地価高騰も影響 京都・四条通 : 京都新聞
京都随一の繁華街である四条通周辺に、外資系店舗の進出が相次いでいる。昨春は、スポーツ用サングラスなどを展開する米オークリーの日本法人が「オークリーストア京都」を下京区四条通寺町西入ルに開設。今年８月には米アップルが同区四条通高倉東入ルに直営店「Ａｐｐｌｅ京都」をオープンさせている。 四条繁栄会商店街振興組合の野村清孝理事長は、２０１５年に完成した歩道拡幅と訪日客による通行者の増加が、四条通の出店先としての魅力を高めたとみる。同組合が四条通の６カ所で行っている通行量調査によると、昨年は延べ約５９００万人と１５年比で８・３％増えており、「国際的ブランドが店を出すのにふさわしい場所と認知された」という。 景気拡大や地価高騰で一帯のテナント料が上がったことも無縁でなさそうだ。一般財団法人日本不動産研究所（東京）やビーエーシー・アーバンプロジェクト（同）、スタイルアクト（同）がまとめた店舗賃料トレン
2018年、freeeのアクセシビリティを振り返る - freee Developers Blog
この記事はfreee Developers Advent Calendar 2018、およびWebアクセシビリティ Advent Calendar 2018の8日目です。 こんにちは、freeeの@magi1125こと伊原です。UXデザイナー／インフォメーションアーキテクトを経て、現在は人事労務freeeという素敵なサービスのプロダクトマネジャーを担当しています。 社内ではたまに「一発当て太郎」と呼ばれています。昨年10月にfreeeに入社したのですが、その理由が「アクセシビリティで一発当てた事例を作る」というものだったからです。Webアクセシビリティの書籍を出したり登壇したりという活動を進めるなかで、その分野をもっと盛り上げるには成功事例を作らなければ、と考えた次第です。 この記事ではタイトル通り、2018年のfreeeにおけるアクセシビリティ関連の出来事をご紹介します。なお、今年2月以
500日のトライエラーから生まれた大規模設計ノウハウ / Frontend Conference Fukuoka 2018 - Speaker Deck
2018/12/8 Frontend Conference Fukuoka 2018にて発表した資料です。
WordPress5.0.0からの新しいエディター「Gutenberg」の使い方と「Classic Editor」の活用 – エコテキブログ
WordPress5.0.0からの新しいエディター「Gutenberg」の使い方と「Classic Editor」の活用 2018 12/09 WordPressの新しいエディター機能「Gutenberg（グーテンベルク）」を搭載した、WordPress5.0.0は2018年11月19日にリリースされるようです。 今回の記事では、WordPress5.0.0にバージョンアップしたときに「突然WordPressが壊れた！」とパニックを起こさずに済むように対策方法をご紹介します。 WordPress 5.0 Slated for November 19, 2018 https://t.co/Jlm1mzVlpa @wptavernさんから — Hiroshi Fukui@DMM英会話は休会中 (@echizenya_yota) October 5, 2018 “gutenberg wordpr
過労死を出した栄光ゼミナールがどうなっちゃってんのか書いておく
栄光（学習塾の栄光ゼミナールなど運営）の元従業員だ。 増田ってやつは普段読みもしなければ書いたこともない。読みづらいのは勘弁してくれ。 これは告発でもあるから後ろめたい気持ちがなくはないが、公表することが顧客と従業員ひいては公益にかなうと信じて疑わないので書いてしまう。 組織としての栄光以外（つまり落ち度のない個人）に迷惑がかからないように書くつもりだ。 昨日の晩、食後にNHKのニュースを見ていたら、「栄光の教室長が勤務中に過労死し、労災と認められた」とたまたま目に入った。 それだけなら（まあそういうことも、あの会社なら不思議ではないな）でスルーできたが、 亡くなられたのは俺が勤務していた教室の近隣教室（成城学園前）の室長だ、ということなので、さすがにスルーできなくなった。 スルーできないのは、過労死を出すような会社を批判したい正義感、とか個人の恨みで栄光憎しではない。 自分の中で罪悪感の
アザラシの鼻にウナギ詰まる、無事に除去 米ハワイ
（ＣＮＮ） 米海洋大気局（ＮＯＡＡ）の「ハワイモンクアザラシ研究プログラム」（ＨＭＳＲＰ）はこのほど、右の鼻の穴にウナギが詰まったアザラシの写真をフェイスブック上で公開した。 ハワイでは以前から、モンクアザラシの鼻にウナギが入り込む現象が報告されている。初めて目撃されたのは２０１６年夏、リシアンスキー島沖でのことだった。 ＨＭＳＲＰはフェイスブックで「（アザラシの画像を公開した）月曜日は皆さんにとって良い日ではなかったかもしれないが、鼻にウナギが入るよりはましだろう」と冗談を飛ばした。 ハワイモンクアザラシは世界で最も希少なアザラシの一種で、米国では絶滅危惧種に分類されている。その多くは北西ハワイ諸島にある離島８島の周辺に生息。２０１６年の調査では、１４２７匹しか残っていないと推定されている。 ＨＭＳＲＰの科学者、チャールズ・リトナン氏はＣＮＮの取材に、研究者は今もこの現象に困惑していると
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
