ウィリアムのいたずらの、まちあるき、たべあるき

ウィリアムのいたずらが、街歩き、食べ物、音楽等の個人的見解を主に書くブログです(たま~にコンピューター関係も)

フローチャート、UML、ネットワーク図などを作成できるサイトdraw.io

2017-09-30 19:34:12 | Weblog
ここ
https://www.draw.io/

新しいダイアグラムを作成(上)を選択

となり、UMLとか組織図とか、ベン図とか、いろいろ選べるんだけど・・・

ネットワークを選んでみた。下段左から2番目を選んでCreate

なかんじで編集できる

で、ブラウザにXMLでセーブできるし

でいろんな画像ファイルにエクスポートできる。


  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

「形式手法」がAIと結びつくことで品質向上や次世代技術へ展開

2017-09-30 09:21:00 | Weblog
NII Today 第77号/2017年9月発行
形式手法をものづくりへ
ERATO「蓮尾メタ数理システムデザインプロジェクト」


表題の件は、後半の石川先生のところ

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

トヨタの「イノベーションのジレンマ」

2017-09-30 02:06:30 | ネットワーク
トヨタが自動運転で出遅れたのはどうやら「カイゼン」のせいだった
http://gendai.ismedia.jp/articles/-/53024

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

柴咲コウさんがIT企業を設立

2017-09-29 16:11:47 | Weblog
資本金1.7億円・・・って、そんなに何に使うの(^^;)

柴咲コウが資本金1.7億円のIT企業を設立
http://bunshun.jp/articles/-/4278

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

熱のエントロピーと情報量の関係について、聞いてきた

2017-09-29 12:02:07 | Weblog
9月28日

マルレク第三回 IT技術者のための情報理論入門―エントロピーと複雑さについて

について聞いてきたのでメモメモ
(表題の件は、後半のほうの「(とばして)」の直前に書いてある。
ここまで話したら、結構飛ばしてしまったので、複雑さについては、
そんなに聞いていない気がする・・資料の付録についているのかな?)




・ITの話よりは物理?大まかな概念をつかんでもらえば・・
・エントロピー 長い歴史:19Cから→当時の先端蒸気機関に→熱力学
 統計的手法、原子論→マクロ:ミクロとマクロの橋渡し 統計力学 
 ボルツマン、マックスウェル
 原子論:マッハに認められなかった
  →原子:アインシュタイン 26才のとき
 ボルツマン:精神を病んで2006年自殺
  マシンに個人名:チューリングマシン、ボルツマンマシン:2人とも自殺
  お母さんがボルツマンの孫という人が日本にいる

・エントロピー:時代に応じて姿を変える
 →シャノン 20C 情報理論→フォンノイマン
 →21C 再評価:物理基礎理論 量子力学
   アインシュタイン VS ボーア
  1935年 量子エンタグルメント 量子のもつれ

・P=NPを解いたというやつ→解いてない

・情報理論:シャノン圧倒的に強い
 量子論と相対論
 これから来る変化:量子情報、量子コンピューター

・イノベーションと科学
 技術と人口増
 産業革命が人間の生活を変えた:18Cにシンギュラリティ?
  →17C科学革命:ニュートン
   それ以前は中世

・18C 産業革命
 19C 機械制大工場
 20C ENIAC
 21C Google

・1854年 ペリーが江戸幕府に送った電信機
 1876年 ベルの電話
 今 ケータイ

・1891年の電信ネットワーク
 2017年のネットワーク

→今が進んでいると思うのは幻想
 技術:相対的にみる

・HAM → インターネット

・技術を基礎づける科学
 エントロピー:clausiusによって1856年?につけられた名前
 1776年:ワット 蒸気機関
 Carnot(カルノー) 蒸気機関の効率化
 →熱量のすべてを仕事に変えられない:エントロピー

 ギブス、ヘルムホルツ:自由エネルギー、エントロピー
  自由エネルギーF=内部エネルギーU-温度T・エントロピーS

 →エネルギーを温度でわると、なぜ情報量?
  ボルツマンが可能にした

・20Cグローバルネットワーク
 →シャノン 通信の数学的理論

・シャノンの基本的関心
 できるだけ正確に伝えるには、何をすればいいか
  テレタイプ

・エントロピーをイメージする
 熱力学第一法則 エネルギーは保存する
 熱力学第二法則 エントロピーは増大する

 人間:太陽のエネルギーに帰着する
 第二法則:不等号

・ものは、朽ち果てる
 朽ち果てたものは、元には戻らない
 →物事は乱雑になっていく:落ちた卵、拡散するガス
  時間が決めている:そうでもない 時間を逆に回すと、元に戻る

・2色のインクをかきまぜたら?
  →比重が違えば分離する。分離しないのはなぜ?

 もし、粒が大きく、Nが少なければ=中が見える
 でも、Nがおおきくなると・・・見えなくなる
 細かくすると、赤・青以外の数になる
 →アボガドロ数

 圧倒的に、分離する可能性は、低いから

・コーヒーにミルクが混ざるのを待つ
 エントロピー→一様になる:単純
 エントロピー最大:熱的一様

・部屋のガスは広がる
 宇宙のガスは・・・ブラックホールに吸い込まれる
 →ブラックホールを考えると、エントロピーは?
 →21Cのエントロピー

・Power of 10

 時間のスケール:もっとも古い宇宙の年齢
 エネルギーのスケール:光子のエネルギー→超新星爆発

・さるのタイピスト
  サルのタイプライター仮説:シェークスピアの作品を打ち出す可能性
  monkeyと打つ確率:サマージャンボ当たる確率より、30倍難しい!
   →無限のサルの定義

・自然言語には辞書がある
 でも、すべての文を含むシラバスは作れない

・ベンジオの次元の呪い
 ランダムな語;アクセスできなくなる

・ボルツマン

 S=K log W
 S:エントロピー
 K:ボルツマン定数
 W:ミクロな状態をカウントした

・原子論者ボルツマン
 要素に還元:ある性質は失われていく

 異端の学説 原子論
  古代ギリシャの原子論:デモクリトス→プラトンは焼かせていた
  サルのタイプライターの論理:キケロも批判

 デモクリトス以来の量子コンピューティング

 19Cでも、原子の存在は疑われていた
 アインシュタインのブラウン運動→ボルツマン知ってる

・ミクロの世界とマクロな世界
 隠される情報と新しい情報の「出現」
  →マクロを切っていけば、正しい認識になるわけではない
  →マックスプーリング
  →印刷の世界

・情報の損失としてのエントロピー
  減った情報がエントロピー

  バエズの導出

 失われるけど、得るものがある

・Nこのやつが、K個の状態をとる
 どれくらいの可能性があるか

 の式のlogをとって
 スターリングの公式 logN! ≒ nlogn-n 使って
  :
  :
 ボルツマンの式はでてくる

・カノニカル分布の分配関数 SoftMaxに出てくる


・異なるメッセージの数
 の対数をとって
 スターリングの公式 logN! ≒ nlogn-n 使って
  :
  :
 ボルツマンの式はでてくる

→ボルツマンは状態、シャノンはメッセージ
 異なるものだけど、おなじように数え上げている

(とばして)

・21世紀
 エンタングルメントとエントロピー

 ブラックホールのエントロピーの発見
  No Hair 定理観測可能量3つ
   ベッケンシュタイン:エントロピーあるよ!
   ホーキング 比例定数は1/4だ!
   サスキンドの計算
     ブラックホール 光子1個とびこむと、プランク長2乗増える
       →情報がふえる;表面積増える
  AND回路、OR回路:エネルギー
  閉じた形:エネルギーを減らす・エントロピー
  構造が生まれる

・ブラックホール輻射
 なにもないのに、なぜエントロピー?
  ブラックホールは蒸発する
 →ブラックホールは、温度も持つ
  (絶対0°に近いけど)
  最後に爆発

・ブラックホールで情報は消滅するか?
 大事な問題 ペンローズ:情報が失われる

・AdS/CFT対応

 重力:うまくいかない

 1998年 マルデセーナ 量子論と相対論の接点
   スーパーストリング
   ループ
 →両派とも認める

・笠と高柳
 エンタグルメント
 量子もつれあいが、エントロピーを持つこと

 ラームズダンク:エンタグルメントのエントロピーが時空を縫い合わせる

・テンソルネットワーク
 凝縮系物性論のチャレンジ
 へルミオン ボソンに凝縮
 →常温超伝導:クーパーツ理論では説明できない
  トポロジー絶縁体(ビスマス)→超伝導が表面だけ起きる
  立体だとあらわれないけど、次元を下げると

・エントロピーがArea則を満たす
 計算が簡単になる

 AdS/CFT対応とテンソルネットワーク(MERA)

・AMPSパラドックス2012
 The Firewall Paradox
 外側から粒子を集めて中にアリスが入ったら?
 エンタグルメント モノガミー(Monogamy)

・ER=EPR
 1935年のアインシュタインの2つの論文
 神はサイコロを振らない
 ER論文:ブラックホールがつながっている
 ERとEPRは同じ?

 →共感をもって

・現代物理学の俯瞰図

 真ん中に量子情報理論 

・It from bit ウィーラー
 it from Qubit

・科学によって切り開かれる時代
 情報とエネルギーを結びつけた世界
 量子コンピューター:10年以内に


 
 

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

YOZAN逝ったってよ!

2017-09-29 09:02:08 | ネットワーク
YOZAN、破産手続き開始 PHS不振長引く
https://www.nikkei.com/article/DGXLASDZ27HEL_X20C17A9000000/

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

データ構造の教科書のクラウドファンディングだって!

2017-09-29 01:59:37 | Weblog
CSの定番教科書「Open Data Structures」を日本にも届けたい!
https://camp-fire.jp/projects/view/31790

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

LinuxでCPU使用率とメモリー使用率をグラフ化するなら・・・

2017-09-28 14:12:41 | Linux
1ヶ月前ぐらいまでならば、

zabbix使うより、

sar -f /var/log/sa/sa26

で26日のCPU使用率とかはわかる。
(別の日にしたい場合は、26をその日付に変える)

そして、

sar -r -f /var/log/sa/sa26

で26日のメモリー使用率はわかる
(別の日にしたい場合は、26をその日付に変える)

で、この出力をファイルに書き出して、
そのファイルをExcelに送ってグラフ出力したほうが、
きれいでよくね?

・・・ごもっとも・・・・

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

Livedoor Readerって

2017-09-28 02:14:00 | ネットワーク
こんなかんじになっていたのね・・・

LDRが終了することについて
http://ogijun.hatenablog.com/entry/on-ldr

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

電気自動車の未来

2017-09-27 23:12:08 | Weblog
電気自動車の未来、不透明でも投資する理由は
http://jp.wsj.com/articles/SB10169135593868663372204583407310346287352


やっぱり、中国とインドが電気自動車を進めているのが、強いと思う
「電気自動車以外は禁止」−−インドから始まる自動車市場のパラダイムシフト
https://amp.review/2017/07/18/ev-india/


コラム:中国EVシフト、ツケは海外自動車メーカーに
https://jp.reuters.com/article/china-autos-breakingviews-idJPKCN1BV047


たしかに、電気自動車といえば日産(リーフ)で、日本ではぼろくそ言われているけど

フルモデルチェンジした日産「新型リーフ」は世界EV戦争を勝ち抜けるか?
http://news.livedoor.com/article/detail/13663434/


フランス、イギリスは電気自動車シフト
フランスに続いてイギリスも2040年までにディーゼル車とガソリン車の販売禁止 加速する電気自動車化
https://news.yahoo.co.jp/byline/kimuramasato/20170726-00073766/


そして、アフリカも・・・
電気自動車が途上国の車業界を変える!?日産のリーフが南アフリカで販売開始!
http://eedu.jp/blog/2014/01/10/nissan-leaf-commercia-debut-south-africa-first/


【つけたし】

トヨタ・マツダ・デンソー、EV開発の新会社設立へ=関係筋
https://jp.reuters.com/article/toyota-ev-idJPKCN1C30A1

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

Twitterの言語設定を「日本語以外」に変更する理由

2017-09-27 15:59:42 | ネットワーク
Twitterによるアカウントの自動凍結を防ぐため。

【引用元および詳細】

Twitterの言語設定を「日本語以外」に変更する人が増加中、その理由とは?
http://internet.watch.impress.co.jp/docs/yajiuma/1082946.html

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

ビットコインに手を出した人に、お金を貸してはいけない

2017-09-27 11:24:15 | Weblog
下記サイトに理由が書いてあるのだけど、
理由を聞く以前に、あんまり、「ビットコインで儲けよう!」
っていう人には、お金を貸せないよねえ~

だって、本来、ビットコインって、決済手段であって、
金儲けするものじゃないもんねえ・・・

じゃあ、FXはどうなんだよ!っていう声、聞こえそうだけど、
う~ん、FXやる人にも、お金は貸せないなあ・・・
(どちらも、やっていけないとは言っていない。
 お金は貸せない(=返してくれる信用は無い)といっている)


ビットコインに手を出した人に、お金を貸してはいけない理由【中島聡】
http://www.mag2.com/p/news/267044

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

Zabbixを始めるにあたってのトラップあれこれーその5:設定の第一段階

2017-09-26 16:10:24 | Weblog
Zabbixを始めるにあたってのトラップあれこれーその4:設定には2段階ある
http://blog.goo.ne.jp/xmldtp/e/2071f7fbe26cf8d935626efaf5cdbe76

のつづき。

zabbixの設定には、2段階あって、

  第一段階:どのサーバーの何の値が、どのようになっていたら、障害とみなすか
  第二段階:障害を、誰に、どのように通知するか

の2つあると書いたけど、そのうち、「第一段階」について。

今回は、あまりトラップはないので、ただ書くだけ。




■概要

 この第一段階は、2種類の設定方法がある。

(1)全部一つ一つ設定する

   どのサーバーの→ホスト
   何の値    →アイテム
   どのように  →トリガー

を順番に設定する

(2)テンプレートを使う
 アイテムとトリガーをまとめて設定できる。

以下、順番に説明。




■(1)全部一つ一つ設定する

●「設定」の「ホスト」を選択すると、サーバー一覧が表示されるので
 右上の「ホストの作成」をクリック。

 画面が切り替わる。
 「ホスト名」「表示名」は適切に入力する。
 「グループ」は、右側から該当するものを選択し、ボタンをクリック
 「エージェントのインターフェース」のIPアドレスは、
    エージェントを使っている場合でも、そうでない場合でも、
    監視対象のIPアドレスを入力する。
  →またはDNSのほうを設定
 「接続方法」はIPアドレスを入れたか、DNSをいれたか選択
 「ポート番号」は、エージェントを使う場合は、エージェントとの通信番号
 (デフォルト10050)を正しく入力する。
 そうでない場合(HTTPによる死活監視など)は、適当

 最後に「追加」ボタンをクリックして追加する。

●アイテムの設定
 「設定」→「ホスト」のホスト一覧を表示し、
  これからアイテムを追加しようとしているホストをクリックする。

・ホストが表示されたら、「アイテム」をクリック

・出てきた画面で、「アイテムの作成」をクリック

・次の画面で、適当に情報入力

 「何の値」をチェックするかに指定するのは、「キー」
 ただし、キーの上にある「タイプ」を設定して「選択」ボタンをクリックすると、
 そのタイプで取得可能な値が表示され、そこから選べるようになっている。


●トリガーの設定
 「設定」→「ホスト」のホスト一覧を表示し、
  これからトリガーを追加しようとしているホストをクリックする。
 
・ホストが表示されたら、「トリガー」をクリック

・出てきた画面で「トリガーの作成」をクリック

・トリガー設定画面が表示される

 「どうなったら」については、条件式で設定する。
  登録されているアイテムと、関数などによって指定する。
 ここで、枠の右にある「追加」ボタンをクリックすると、GUIで設定できるようになる。

・「障害」かどうかについては、「深刻度」で設定する。

これで一つ分障害設定終わり。これのくりかえし




■(2)テンプレートを使う
 それはめんどくさいので、まとめて設定できるものとして、テンプレートがある
 HTTPなど、よく使うものは、予め設定してあるので、これ使うと便利。
 以下、HTTPテンプレートを設定する場合について説明。


●ホストの設定
(「(1)全部一つ一つ設定する」と途中まで同じ)

・「設定」の「ホスト」を選択すると、サーバー一覧が表示されるので
 右上の「ホストの作成」をクリック。

 画面が切り替わる。
 「ホスト名」「表示名」は適切に入力する。
 「グループ」は、右側から該当するものを選択し、ボタンをクリック
 「エージェントのインターフェース」のIPアドレスは、
    エージェントを使っている場合でも、そうでない場合でも、
    監視対象のIPアドレスを入力する。
  →またはDNSのほうを設定
 「接続方法」はIPアドレスを入れたか、DNSをいれたか選択
 「ポート番号」は、エージェントを使う場合は、エージェントとの通信番号
 (デフォルト10050)を正しく入力する。
 そうでない場合(HTTPによる死活監視など)は、適当

 ここまではトリガー設定(1)と同じだが、

 ここでに「追加」ボタンをクリック「せずに」以下の設定をする。

・テンプレートの指定
 テンプレートタブをクリック

 新規テンプレートのところで、HTTPと入力すると、
 HTTP関連テンプレートが表示されるので、そこから選んで、
 その下の「追加」のリンクを必ずクリックすること!!!
 追加されたことを確認したら、その下の「追加」ボタンをクリックする。

すると、関連アイテム・トリガーが追加される。

【ここでトラップ!】
 追加のリンク、ボタンと2種類有り、どっちかわすれると、
 ちゃんと追加されない




次回は、2段階目



  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

仮想通貨の取引所、登録できない理由

2017-09-26 13:45:34 | ネットワーク
仮想通貨の取引所「登録」休止や撤退が相次ぐ|登録しないのではなく、できない本当の理由
http://virtualmoney.jp/I0001372

まあ、銀行や証券会社とは違うから、資本とか、なさそう・・・

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

アカマイのカンファレンス、Akamai EDGEなんだけど・・

2017-09-25 10:58:45 | ネットワーク
CDNのアカマイのカンファレンスだし、セキュリティの話もあるし、
無料(事前登録制)だし・・・

いきたいんだけど・・・

対象
アカマイをご利用中のお客様、および導入を検討されている企業様の経営企画部門、事業部門、情報システム部門、マーケティング部門の責任者様
※上記以外のお申し込みはお断りさせて頂く場合があります。予めご了承ください。

利用はしていないし、導入を検討していないし・・・
・・・お客様に提案する立場というのが、無いのね・・・

う~ん、もうしこんでいいのか、わるいのか・・・

(でも、定員1500人なんだよね・・)

【引用元(太字部分が引用箇所)】
アカマイ カンファレンス
http://www.seminar-reg.jp/akamai/aej2017/

  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする