みなさんのデスク周りはスッキリしていますか? 雑念なくクリエイティビティが発揮できる環境になっていますか? 🤔 👆こんな顔になってしまった方、まずはGo Andoさんによる神noteを御覧ください。話はそれからだ。 思えば僕が机周りを整理しようと思ったのは去年の冬。それまではガラステーブルでオシャレ感の演出にいそしんでいたのですが、ガラステーブルって冬冷たいんですよね。。なので温かみのある天然木のテーブルにしようというところからこの話はスタートします。 せっかくならば机を変えるだけではなく、その周りの機器なども10年来のものが多かったので全てまるっと見直しちゃおう!ってことで、様々なガジェットともにご紹介していきます。 机まず机は自作します。基本ですよね?やっぱり部屋にピッタリの机にしたいですから。 テーブルの天板といえばみんな大好きマルトクショップ。ウォールナット材にしようと思ってい
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
2021-09-25 00:00:21 原文 DON SYME, Microsoft, United Kingdom 推敲: Philip Wadler, University of Edinburgh, UK 本稿は、F# プログラミング言語の起源と初期の歴史について説明します。 まず、1970年代、80年代、90年代の強く型付けされた関数型プログラミング(FP)の起源から始めます。 同時期にMicrosoftが設立され、成長してソフトウェア業界を支配しました。 1997年に、Javaへの応答として、Microsoftは内部プロジェクトを開始しました。これは最終的に.NETプログラミングフレームワークおよびC# 言語になりました。 1997年から、ケンブリッジのMicrosoft Researchで学術的な関数型プログラミングと産業界が結合しました。 研究者たちは、Project 7、つ
概要 インターネットに晒されているWebサービスでは TV等で紹介されたことによる大量流入 悪意ある人物からの攻撃 クライアントのバグに依る大量リクエスト など、本来想定していた以上のトラフィックが来ることはよくあります。 単純にシステムを構築すると大規模トラフィックに対応できずシステムがスローダウンしてしまうため、何かしらrate limitをかけておいた方が良いです。 ただしrate limitと一口に入っても色々あるため、今回は主なrate limitアルゴリズムを紹介します。 Leaky bucket Leaky bucketはデータ転送レートを一定にする(=上限を設定する)アルゴリズムです。 下の図のように、様々な流量の水流がそのバケツに流れ込んでも小さな穴からは一定の水流が流れ出す仕組みです。 ref: What is the difference between token
WindowsのフォントはMacに比べたらめちゃくちゃ汚いです。 僕はMacは持ってないんですが、店頭でMacを触ると全然違うなって思います。 なんでここまで差があるんだろうっていつも思う。 そろそろWindowsはフォント改善に重い腰をあげるべき…。 と、日々思ってるんですが、そんな状況を少しでも改善してくれるソフトを今日は紹介します。 フォントレンダリングソフト「MacType」です。 MacTypeってなに? フォントの表示を綺麗にしてくれるソフトです。 フリーソフトで、設定も簡単です。 下記の画像を見てみてください。 さらに適用したWEBページと適用していないページをgif動画にしてみました。 どうでしょうか? 好みもあると思いますが薄かったフォントが太く見やすくなってると思います。 この処理をしてくれるのが「MacType」です。 Windowsで動くすべてのソフトに適用されます
そろそろWindows10でも業務に問題が無いということで、Windows10を使用している方が多くなってきました。 ただし、いろいろ困った問題が発生しているパターンがいくつかあります。 特に、Windows10以前のOSだったパソコンを、自動アップデートで最新にしたパソコンで起こることが多いです。 そして、問題になるのはパソコンそのものだけじゃないんですよね。 それは、Windows10の時代になる前から使っていた、いろいろな周辺機器との関係のトラブル。 その中でも、盲点だなと思った現象がうちの環境で発生していました。 その現象とは・・・ エクスプローラーのネットワークコンピューターにNAS(ネットワークHDD)が表示されないという現象。 多分、うちと同じような環境でしか起こらないかもしれませんが、役に立つかもしれませんので記事を投稿しておきます。 ネットワークコンピューターで見えなくな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く