日本マイクロソフトは31日、8月に1カ月限定で実施した週休3日制などの働き方改革の成果を報告する記者説明会を開いた。休暇を増やして自己啓発や社会貢献のボランティアなど社外の経験を積んでもらい、社内業務では培えないスキルの習得や、通常業務を効率化する工夫を生み出すことを期待した取り組み。会議時間の削減などで成果をあげたという。一方で組織構造の改革が必要な課題も見つかり、今後に生かすとした。今回の
日本マイクロソフト、週休3日制で会議時間が大幅減 - 日本経済新聞
日本マイクロソフトは31日、8月に1カ月限定で実施した週休3日制などの働き方改革の成果を報告する記者説明会を開いた。休暇を増やして自己啓発や社会貢献のボランティアなど社外の経験を積んでもらい、社内業務では培えないスキルの習得や、通常業務を効率化する工夫を生み出すことを期待した取り組み。会議時間の削減などで成果をあげたという。一方で組織構造の改革が必要な課題も見つかり、今後に生かすとした。今回の
Haskellの型と直観論理 - 朝日ネット 技術者ブログ
開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互いに関連する値の集合である。 ---- 『プログラミングHaskell』 Graham Hutton 著 / 山本和彦 訳 だとか、 値の世界は型と呼ばれる系統的な集まりへと分割される。 ---- 『関数プログラミング入門 Haskellで学ぶ原理と技法』 Richard Bird 著 / 山下伸夫 訳 などのように書かれています。たとえば Bool は True と False の2つの値からなる集合だし、Intは整数の集合というように、型は値の集合というふうにみることができます。それならば型などと呼ばずに集合と呼べばいいと思いますが、「異なるものには異なる名前をつけろ
Beating C with 80 lines of Haskell: wc
Despite the click-bait title I hope you'll find this post generally illuminating, or at the very least a bit of fun! This article makes no claims that Haskell is "better" than C, nor does it make claims about the respective value of either language, or either implementation. It's simply an exploration into high-performance Haskell, with a few fun tricks and hacks along the way. You can find source
「身の丈に合わせて、大学行かずに就職すればいいじゃん」
中学3年の時、親にそんなことを言われてケンカしてから、どれほどの年月が経っただろうか。 そんな私は、某国立大の大学院を出て、参考書の編集者をしている。 幼い頃から、勉強だけは好きで、よくできた。けれども運動もコミュニケーションもへっぽこだったので、小中（公立）時代は同級生にいつもからかわれた。それ以上に辛かったのは、私が好きな勉強のことで、話が出来る相手がクラスにいなかったことだ。 「商業高校？とんでもない！君は普通科に行って、大学に入りなさい」 中学の時の担任は私に、世の中には進学校と呼ばれる、勉強が得意な人が集まって大学進学を目指す高校があることを教えてくれた。今振り返ればバカみたいな話だが、ネットが普及してない当時、塾に通わず、通信教育や家庭教師の類もやってなかった私には、そうした情報を得られる機会がほとんどなかったのだ。両親は共に非大卒で大学受験に詳しくないし、世帯所得も多くなく、
Serverless Days Tokyo 2019 トヨタ自動車・ダイキン工業 事例覚書 - Qiita
Serverless Days Tokyoに参加してきました。いずれも興味深い内容ばかりでしたが、ダイキン工業とトヨタのIoTシステムの中の話は、こういう機会でもなければ聞けない話でかなり貴重な話を聞けた感がありました。 その内容をメモったので残しておきます。 入り口の様子。 会場の様子。休みの日の朝9時からというのに、ほぼ満席な感じでした。 ダイキン工業：空調設備向けIoTシステムにおけるランニングコスト ダイキン工業は、全世界の空調機（エアコン等）をインターネットに繋いで、販売、運用、保守、施工に対するサービスを提供する。 システム名は「Daikin Global Network（ダイキン・グローバルネットワーク）」 想定接続台数は500万台。各空調機が1分ごとにデータをサーバーにあげる。 想定ユーザー数は30万人。 無限に発生するデータを格納できるストレージが必要。 断固としてデータ
関心の分離を意識した名前設計で巨大クラスを爆殺する - Qiita
大量のメソッドを保有し、数千、数万行単位にぶくぶく膨れ上がった巨大クラス。別名「神クラス」とも「大きな泥団子」とも呼ばれる、長大で複雑で、様々なクラスと密結合で極めて変更が困難なアイツ。 そんな巨大クラスの退治に有効な、命名に関する考え方を紹介致します。 解決したい課題、狙う効果 数千、数万行単位の巨大クラスの登場を抑止する。 巨大クラスを爆砕し、小さなクラス群に分割する。 クラス結合度を下げ、影響範囲を小さくすることで保守コストや変更コストを下げる。 ダメな例 例えばECサイトの「商品」を考えてみます。 よくありがちなのは、商品をそのまま「商品クラス」と設計してしまうこと。 単純な商品クラスは、往々にして出品、予約、注文、発送など、様々なユースケースのクラスと結合してしまいがちです。 商品クラス自体も、結合したクラスに関連する知識(ロジック)を持ち始め、どんどん巨大化複雑化していきます。
英語民間試験、政府・与党に延期論 現場「ふざけるな」：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - bsl/GLFW-b: Haskell bindings to GLFW
GitHub - actix/actix-web: Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.