タグ

2014年11月18日のブックマーク (3件)

  • Hilbert<ヒルベルト> - 世界で一番ピュアなプログラミング言語 -

    Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.

    khtokage
    khtokage 2014/11/18
  • 仕事を爆速化する“すごいスタンプ”あります――LINE的チャットツール「direct」がスゴすぎる

    仕事を爆速化する“すごいスタンプ”あります――LINE的チャットツール「direct」がスゴすぎる:仕事耕具(1/2 ページ) 今やメールにとって代わるコミュニケーション手段となったチャットツール。LINEやFacebookが主流だが、仕事で使うのを許していない会社も多い。そんな中、ちょっとびっくりなスタンプ機能を備えた企業向けチャットツールが登場したのでご紹介しよう。 スマホを持つようになって、仕事がはかどるようになってきた。でも、“もっと便利に、手軽に使えたら”――と思うことはないだろうか。 例えば外回りの営業中に「急な打ち合わせのメールを受け取り、文字入力が思うようにいかなくてすばやく返事ができずにイライラした」「急いで自分の居場所を伝えたいのに、地図やメールの操作にとまどって困った」――という経験はないだろうか。 そんなコミュニケーションの“ストレスやイライラ”を減らし、社内スタッ

    仕事を爆速化する“すごいスタンプ”あります――LINE的チャットツール「direct」がスゴすぎる
    khtokage
    khtokage 2014/11/18
    これ面白そう。ちょっと検討したいなぁ。 仕事耕具:仕事を爆速化する“すごいスタンプ”あります――LINE的チャットツール「direct」がスゴすぎる
  • 「iOS 8.1.1」アップデート、iPhone 4sなど旧モデルのパフォーマンス改善

    Appleは11月17日(現地時間)、モバイルOSの最新版「iOS 8.1.1」の配信を開始した。iPhone 4S以降/iPad 2以降/iPad mini以降/iPod touch(第5世代)にインストールできる。 このリリースには、「iPad 2およびiPhone 4sでの安定性の向上およびパフォーマンスの改善が含まれ」るという。同じA5プロセッサを搭載するiPad mini(初代)とiPod touch(第5世代)については言及されていない。 関連記事 AppleのiOS 8.1、SSL 3.0の脆弱性などを修正 「iOS 8.1」では先に発覚したSSL 3.0の脆弱性(POODLE)を含め、5件の脆弱性を修正した。 iOS 8の適用率、iOS 7と並ぶ Appleが開発者向けに公開しているiOSのインストールシェアによると、リリース4日後に46%だったiOS 8のシェアは2週間

    「iOS 8.1.1」アップデート、iPhone 4sなど旧モデルのパフォーマンス改善
    khtokage
    khtokage 2014/11/18
    そういやiOS8.1.1まだ降りてこないのかー、と見てみたら、やっと来てた。今日上げよう。 「iOS 8.1.1」アップデート、iPhone 4sなど旧モデルのパフォーマンス改善 - ITmedia Mobile