タグ

2015年3月7日のブックマーク (2件)

  • 純粋関数型データ構造 (0)

    はじめに 関数型言語スキーの皆様,趣味でも仕事でも関数型されてますでしょうか? 関数型言語の強力な特徴の一つとして不変性が挙げられます.不変性においてはletやIOモナドが注目されがちですが,真に不変性を下支えしているのは関数型言語のライブラリに含まれているListやMapといったデータ構造です.これら関数型データ構造について記述された古典が「Purely Functional Data Structures」です.これらに記述されてるデータ構造について実装と解説を書く,というのが稿の目指すところです. 関数型データ構造とは? 正確な定義については,MITの講義ビデオ など見て欲しいのですが,重要な特徴として,全ての関数型データ構造では,操作を行う前の古い版と,操作後の新しい版の,両方が維持される点が挙げられます.(これを永続性(Persistency)と呼びます.ややこしいことに永続性

    純粋関数型データ構造 (0)
  • 通信しているソフトの確認や遮断が可能『GlassWire』|無料ソフトの殿堂 - 週刊アスキー

    通信状況がわかりやすいリアルタイム表示 GlassWire ●作者 GlassWire ●対応OS Windows 7・8・8.1(編集部で動作確認) ネットワークを監視し、わかりやすいグラフ表示でデータの送受信状況を教えてくれる。ソフトごとに通信状況を表示できるため、どのソフトがいつ、どのくらいデータを送受信しているかがひと目でわかる。 ファイアーウォール機能も備え、ワンクリックで通信の遮断が可能。知らないうちにデータを送信しているソフトがあったら、すぐに停止できるのがありがたい。 リアルタイム表示が基だが、一時停止も可能。スライドバーで表示範囲を変え、拡大や縮小、過去の情報表示もできる。 ●関連サイト GlassWire 週刊アスキーはNewsstandでも配信中!

    通信しているソフトの確認や遮断が可能『GlassWire』|無料ソフトの殿堂 - 週刊アスキー