tanakaBoxのブックマーク / 2018年5月16日

tanakaBox id:tanakaBox

2018年5月16日のブックマーク (3件)

Microsoftが大画面端末「Surface Hub 2」を発表、4枚連結可能＆移動式スタンド搭載でリモートワークを強力に推進
Microsoftが巨大ディスプレイ端末Surface Hubの第2世代モデル「Surface Hub 2」を発表しました。従来同様の大画面ディスプレイ端末は、簡単にピボット＆移動可能な専用スタンドを搭載し、スタンドなしでは連結させて巨大ディスプレイに変身させることも可能です。 Meet Surface Hub 2 - Microsoft Devices BlogMicrosoft Devices Blog https://blogs.windows.com/devices/2018/05/15/meet-surface-hub-2/ 進化した「Surface Hub 2」でオフォスの風景がどのように変わるのかは、以下のムービーを見れば一発でわかります。 Introducing Microsoft Surface Hub 2 - YouTube 巨大な波が崩れ落ちるスローモーション映像こ
tanakaBox 2018/05/16
欲しすぎる。

gadget
リンク
フォントの選び方・使い方
京大マイコンクラブ(KMC) 春合宿2017 KMC Website: https://www.kmc.gr.jp/index.html Read less
tanakaBox 2018/05/16
font
リンク
Isabelle入門の入門 - Qiita
最近Isabelle始めたばかりなので, 初心者的な視点からIsabelle入門以前の話をします. この記事を読んでIsabelleに興味を持たれたら, 是非公式turtorialからIsabelleへ入門してみてください. Isabelleについて Isabelleは証明支援言語です. 以下にその特徴をあげてみます. 標準のjEdit環境がリッチ強力な自動証明機構 (とにかく自動証明コマンドが豊富で, さらに証明をIsabelleに探索させることもできます) 公理系が選べる (公理系はライブラリレベルでサポートされています. importするライブラリを自分で選ぶことで, HOL, ZF, Sequents, Cube などなどたくさんの公理系を扱うことができます) Isabelle/Isarによる人間に優しい証明 (Coqのように証明図をコマンドによって変形していくだけでなく, Is
tanakaBox 2018/05/16
Isabelle
リンク
- 2018年5月17日
- 2018年5月16日
- 2018年5月15日