京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です.大学では,プログラミング言語理論,その中でも特に型システムの研究をしています. この記事では,私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します.プログラムや型システムといった基本的な概念から解説していくので,プログラミング経験のない人も安心して読み始めてもらえたらと思います. はじめに プログラムとはコンピュータへの命令を記述したものです.2018年現在,私たちの生活は数多くのプログラムに支えられています. あなたがこの記事を Windows が入ったパソコンで見ているなら,まずその Windows がプログラムです.お家にテレビや冷蔵庫があれば,それらの中にもプログラムが内蔵されているでしょう.空いた時間にスマートフォンでゲームをするなら,遊んでいるゲームも全てプログラムです.
この記事は、Go3 Advent Calendar 2018 の8日目の記事です。 7日目は @codehex さんによる「Go でアプリケーションとクライアントのミドルウェアを作成する方法知ってますか?」でした。 本日はネタ全開でお送りいたします。 Disclaimer(免責事項) はじめに言い訳というか、これを書いた経緯というか。 プログラミング言語をdisる人をdisる芸を見たいですね! — yet another (@Maki_Daisuke) 2018年10月11日 というツイートをいたしまして、言った手前自分でやるか、と思い立った次第です。 なので、ネタとしてお楽しみください。 なお、炎上した場合にも、それすらもネタとして楽しむ所存ですのでアシカラズ。 それでは、いってみましょう。 Go言語がイケてない…だ…と……? Go言語はイケてない言語としてよくdisられているが、その中
オタク文化の風潮に、SF作家が一石 今やオタク文化は「帝国」に 『Upright Beasts: Stories』(2015)の著者であるリンカーン・ミシェルのツイートに注目が集まっている。ミシェルは、マーベル作品や「ロード・オブ・ザ・リング」シリーズなどのファンタジー大作映画が社会に与えている影響を例に挙げ、オタク文化 (geek culture) はもはや「帝国側」であると指摘。続けて、“サブカルチャー”であったオタク文化が今やメインストリームに躍り出たにも拘らず、世間から批判を浴びていると“被害者ぶる”傾向にあることを批判した。 「オタク文化は反乱軍じゃない」 注目を集めているリンカーン・ミシェルのツイートが、これだ。 If you’re under age of 35 you’ve spent your whole life in an era when LOTR wins Osc
スマートフォンの決済サービス「PayPay」で8日午後、利用が集中した影響で、一時的にすべての機能が停止されました。不具合は今月4日にも起き、会社はシステムの改善を急ぎたいとしています。 会社によりますと、8日夕方、一部の店で支払い手続きがすぐにできないといった状態になりました。 このため会社は午後5時すぎからおよそ15分間、すべての機能を停止し、緊急のメンテナンスを行いました。 PayPayは支払額の20%を還元するキャンペーンを行っていて、客が混み合うなど利用が集中した結果、各店舗とつなぐシステムに負荷がかかったことが原因とみられています。 その後、サービスは復旧したということですが、今月4日にも不具合が発生したばかりで、会社はシステムの改善を急ぎたいとしています。 PayPayは「お客様にご迷惑をおかけしたことをおわび申し上げます」と話しています。 PayPayは、ヤフーとソフトバン
こんにちは!dely でフロントエンドエンジニアをしている @all__user です。 この記事は dely Advent Calendar 2018 の8日目の記事です。 Qiita: https://qiita.com/advent-calendar/2018/dely Adventar: https://adventar.org/calendars/3535 昨日は、iOSエンジニアのほりぐち( @takaoh717 )が「iOS版クラシルの開発からリリースまでの流れ」というタイトルで投稿しました。 tech.dely.jp iOS 版 kurashiru の開発体制の遍歴がよく分かるような内容となっていますので、ぜひチェックしてみてください! はじめに ここ一年間で Web 版 kurashiru のフロントエンドは Rails から Vue の SPA へと少しづつ置き換えられ
Mercari Advent Calendar 2018 の 8 日目は Backend チームの @hidenorigoto がお送りします。 来週末12/15(土)には、PHPカンファレンスが開催されます。メルカリでは、これから開催される3つのPHP系カンファレンスをスポンサーとして支援しています。 PHPカンファレンス 2018 2018/12/15(土) PHPカンファレンス仙台 2019 2019/01/26(土) PHPerKaigi 2019 2019/03/29(金)〜2019/03/31(日) この記事では、メルカリにおけるPHPとの関わり方と、PHPカンファレンスやPHPコミュニティに向けて、メルカリエンジニアからの一言メッセージを紹介します。 メルカリでは現在、システムと組織のMicroservies化を進めています。Microservicesの開発にはGoを選択して
『ドラゴンクエスト』シリーズを生んだ堀井雄二氏のシナリオ執筆方法と歴代作品ごとの制作テーマが明らかに!【CEDEC+KYUSHU 2018】 朝から立ち見も出るほどのかつてない人気講演に! 2018年12月1日に、福岡市・九州産業大学1号館にて国内最大のコンピュータ エンターテインメント開発者向けカンファレンスCEDECの地方開催版となるCEDEC+KYUSHU 2018が開催された。今年で4回目となる、九州で活躍するゲームクリエイターやゲームクリエイター志望の学生が集うCEDEC+KYUSHU 2018だが、基調講演には『ドラゴンクエスト』シリーズを手掛けてきた堀井雄二氏が登壇。“『ドラゴンクエスト』32年の歩み”と題して、レベルファイブ代表取締役社長/CEO日野晃博氏がモデレーターを務める講演が行われた。 国民的RPG『ドラゴンクエスト』の生みの親である堀井氏初の九州での講演ということ
上半期にやったものの下半期版です。 増田についた このブコメがスゴい!50選 2018上半期 - 今にも崩れそうな本棚の下で (環境によっては、重いか閲覧できない可能性があります。) 【簡易版】増田についた このブコメがスゴい!50選 2018上半期 - 今にも崩れそうな本棚の下で 一行目が増田へのリンク、二行目(以降)がブコメへのリンクです。 一般ネタ これってエヴァじゃん これってエヴァじゃん - nezimeのコメント / はてなブックマーク タグ。 標語とかで「〇〇を△△して□□しよう」って書き方があるけど 増田を改変して大喜利しよう。 - hungchangのコメント / はてなブックマーク ブコメ欄が大喜利会場になれば、ネタとして完璧だったのだけれど、意外となりませんでした。 高校生に告白された これは完全に狐の仕業で、増田がコーヒーだと思っているのは馬の小便で高校生はカーブミ
米IBMは12月6日(現地時間)、Notes、Dominoを含むエンタープライズ向けソフトをインドのIT企業HCL Technologiesに18億ドルで売却すると発表した。規制当局の認可が得られれば、2019年中頃に売却は完了する。 NotesとDomino以外に売却される製品は、Appscan、BigFix、Unica、Commerce、Portal、Connections。 Notesは米ソフトウェア企業Lotus Developmentが開発し1989年に発売したグループウェアの代表的製品。1995年にIBMがLotusを買収したことによりIBMにとって重要なソフトウェアの1つとなった。Notesはクライアント製品でDominoがサーバ製品。 IBMでコグニティブソリューション&リサーチを担当するジョン・ケリー上級副社長は、IBMはIT業界で急成長しているセグメントであるハイブリッ
外資系の企業への転職では英語力がとても大事になるとよく聞きます。 今年の春頃に募集要項を見かけまして、興味を持った仕事がありました。ただ、こう書いてあったのです。Outstanding です。 Required skills Outstanding written and verbal English communication skills技術的には合致しているところが多かったものの、英会話がほとんどできないわたしにとってはとても難しく感じました。TOEIC は当時640点でした。その後受けても655点です。ほとんどできないに等しい点数しか取れていません。 ただ、仕事を何としても決めなければならない状況にあったこともあり、勇気を振り絞って応募したみたのです。その後の顛末をまとめてみました。入社して4ヶ月ほどになった12月のいまでもいつも苦し紛れではありますが、無事試用期間も終わり、日々頑
仕事が遅い部下に悩まないリーダーなど、この世に存在しないだろう。そんな悩みを少しでも減らすための方策とは。 製造業におけるスキル管理システム構築のプロジェクトリーダー、山本は顧客要求の取りまとめを、新しくチームに加わった森に任せた。森は以前、製造業の人事系システムの開発に長く関わってきた経験がある。その森を山本がプロジェクトに引き入れたのだ。山本は、森の過去の成果物が分かりやすいのを見て、その能力の高さに期待していた。 しかしプロジェクトが始まってしばらくすると、山本は森の仕事ぶりに疑問を感じるようになった。森は毎晩遅くまでデスクに向かっており、時折休日出勤もしている。 週次の進捗報告を重ねるうちに、進捗が思わしくないことが分かってきた。山本が追求すると、森は同じような作業を何度もやり直していることが分かった。手戻りが多発しているのだ。 その後、作業の進め方について何度説明させても改善せず
この記事は認証セキュリティ情報サイト「せぐなべ」に掲載された「架空世界 認証セキュリティセミナー 第5回『架空世界のパスワードハッキング』」(2017年9月14日掲載)を、ITmedia NEWS編集部で一部編集し、転載したものです。当時未発売だった製品やサービスの記述などは、本記事掲載時の状況に合わせて編集しています。 架空世界でもある「推測されやすいパスワード」 ……それでは講義を始める。 まずは前回のおさらいからだ。現実ではまだ実現していない認証として、「新世紀エヴァンゲリオン」の「精神感応認証」、「勇者ライディーン」の「血筋認証」を紹介し、「アーサー王伝説」の剣を抜いた力はどのような認証だったのか考察を行った。 さて、第4回までは認証の手法と実現例を紹介してきたが、架空世界でもパスワードを見破られ、認証を突破されたりするような事例はなかったのだろうか。いわば「認証システムのパスワー
モバイルエンジニアの@hotchemiです。 今回は少し前にReact Nativeアプリの開発中にメモリリークを調査、解決した体験が学びが多かったので調査の顛末を共有できればと思います。 概要 今回問題となったのは、上記の課題・宿題を管理する画面の開発でした。 QA中に発覚した問題としては、「アプリを操作していると特定の端末(主にiPhone5)でアプリが落ちたり、その他の端末でも次第に筐体が熱くなる事がある」というもので、表示するデータはそれなりにあるものの画像や動画を表示する画面ではないのでさすがにおかしいだろうという事と、プロセス起動から時間が経つに従い事象が発生・深刻化していくという特性を考慮しメモリのリークが発生しているという仮説を元に調査を開始しました。 モニタリング 「推測するな、計測せよ」の格言通り、まずはメモリの使用量を計測する所から始めてみます。 Native Rea
30年のキャリアを誇る経営戦略コンサルタント。情報分析や業界分析に強く、未来予測やイノベーション分野が得意領域。一方で雑学にも強く、経済エンタテナーとして各方面に寄稿。経済クイズ本『戦略思考トレーニング』シリーズは20万部を超えるベストセラー。マスコミ関係者の地下クイズ集団『夜会』のメンバーとしても活躍。 今週もナナメに考えた 鈴木貴博 経済誌をにぎわすニュースや日常的な経済への疑問。そのときどきのトピックスについて経済の専門知識を縦軸に、社会常識を横軸において、ナナメにその意味を考えてみる。 バックナンバー一覧 JR山手線に49年ぶりに誕生する30番目の新駅の名前が「高輪ゲートウェイ駅」に決定した。みんなが違和感を覚える「駅のキラキラネーム化」はなぜ起きるのか(写真はイメージです) Photo:PIXTA 「高輪ゲートウェイ」って…… 違和感を覚える山手線の新駅名 「それだったら高輪口
2018年12月6日、ソフトバンクが提供する通信サービス(ワイモバイル含む)が全国で利用できなくなるシステム障害が発生しました。ここでは関連する情報をまとめます。 公式発表 ソフトバンク株式会社 2018年12月6日 【復旧】携帯電話サービスにおける通信障害について 2018年12月6日 【復旧】携帯電話サービスにおける通信障害について 2018年12月6日 携帯電話サービスにおける通信障害の復旧について 2018年12月6日 [PDF] 2018年12月6日に発生した携帯電話サービスの通信障害に関するおわび Twitterでの案内 https://twitter.com/SoftBank/status/1070604639714734080 https://twitter.com/SoftBank/status/1070623747369918464 https://twitter.co
みなさまこんにちは、のびーことfnobiです。今年ももうアドベントカレンダーの季節なんですね。はやいはやい。 さて個人的にアドベントカレンダーでは、振り返りの意味も込めて その年お世話になった技術に関する記事を書く、というルールにしてますので、今回は NetlifyとFirebaseの話 をします!! (ちなみにFirebaseの話は去年もしたかったのですが、時間が足りなかった&他の人も書いてたのでパスしました) この記事の目的 いまフロントエンドエンジニアに使ってほしいサービスの私的TOP2・NetlifyとFirebaseについて、様々な観点から比較して、 「なんかどちらも便利そうって聞くけれど、どちらを使えばいいのかわかんないな??」 という人をこの世からなくします! Netlifyってなんぞや? https://www.netlify.com/ githubと連携可能な静的Webホ
先月のとある平日の午後、スーツ姿の男性たちが続々とある映画の試写会へ。何の映画?と思いきや、なんと「生理用ナプキン」をテーマにした映画です。いったいなぜ?そしてどんな反応が?男性も女性も「生理」を知り、語り、理解する。新たな動きを取材しました。 (科学文化部記者 信藤敦子・社会番組部ディレクター 村山かおる) その映画は「パッドマン 5億人の女性を救った男」。インドで愛する妻のために、安くて安全な生理用ナプキン(パッド)の開発に人生を捧げた男性(マン)の、実話に基づく作品です。 映画の中で、生理は終始「けがれ」として扱われますが、主人公は村の人々から奇異の目で見られながらも、6年の歳月をかけてナプキン製造器を開発。“5億人の女性を救った”だけでなく、雇用も創出し、2014年にはアメリカの雑誌「TIME」の「世界で最も影響力のある100人」の1人に選出されました。 映画は業界内でも公開前から
株式会社はてな(代表取締役社長:栗栖義臣/本社所在地:京都市中京区)は、任天堂株式会社(以下、任天堂)が本日2018年12月7日に発売したNintendo Switch™ソフト「大乱闘スマッシュブラザーズ SPECIAL」(パッケージ版 /ダウンロード版)の「ニュース・お知らせ機能」の開発に協力しました。 ▽ Nintendo Switchソフト「大乱闘スマッシュブラザーズ SPECIAL」 https://www.smashbros.com/ja_JP/ Nintendo Switchソフト「大乱闘スマッシュブラザーズ SPECIAL」は、人気対戦型アクションゲームシリーズの6作目となる最新タイトルです。 任天堂と当社は、2008年に開始した協業事業「うごメモシアター」「うごメモはてな」以降、継続的なパートナーシップにより、共同開発の実績を重ねてまいりました。このたびの「大乱闘スマッシュ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く