2017年版古いPC向け軽量Linuxディストロ8選
fossBytesに3月6日(米国時間)に掲載された記事「Best Lightweight Linux Distros For Old Computers｜2017 Edition」が、古いPCでの利用に適している軽量のLinuxディストリビューションを紹介している。現在主流のデスクトップ向けLinuxディストリビューションを快適に使用するにはそれなりのスペックのマシンが必要となる。しかし、軽量タイプのLinuxディストリビューションを使えば、スペックが高くないマシンにおいてもLinuxを活用できるとしている。 紹介されているディストリビューションは次のとおり。 Bodhi Linux Puppy Linux Linux Lite Lubuntu Arch Linux + 軽量のデスクトップ環境 LXLE Peppermint OS Manjaro Linux Xfce Edition 記
銀行API公開により生まれる新たなサービスとは | ZUU online
フィンテック分野で注目されているテーマの一つが、銀行によるAPI(Application Programing Interface)の公開だ。金融はお金の流れを基盤とするビジネスであるため、1つの会社だけではサービスが完結せず、他社との連携を視野に入れる必要がある。そのため、他社との連携を行うためにAPIを公開する銀行が増えているのである。 銀行がAPIを公開するとどうなる？ そもそも、APIとは複数のシステム間でデータをやり取りする際のルールとプログラミングコード自体を指す。APIを使わずにデータのやり取りをする場合は、一から仕様を決め、プログラミングコードを書かなければならない。 しかし、APIを使えば、決められた処理を呼び出すだけです済むため、システム開発の手間が省けるのである。 銀行がこのAPIを公開すると、銀行の情報を使った新たなサービスを消費者に届ける事が出来るようになる。Fi
INTRODUCTION TO SIMULA
This document is based on an IT seminar called 30 Years of Object Oriented Programming (OOP) held at the University of Malta on 5/12/1997. The first Object Oriented Language (OOL) Simula 67 was officially introduced by Ole Johan Dahl and Kristen Nygaard at the IFIP TC 2 Working Conference on Simulation Languages in Lysebu near Oslo in May 1967. 30 years represent one human and several computer gen
カリー・ハワード同型対応入門
takuro.onishi@gmail.com II 2009 6 4 11 • Figure: H.B.Curry (1900-82) Figure: W.A.Howard (1926-) • 1934 1958 • 1968 • • • • • • • • • • • • • • • • • • • • 3.6 (an)n (an)n (an)n 3.5.1 (an)n (an)n 3.5.2 (an)n (an)n (an)n • ( 1980, pp. 26-27) • ABCD ABCD ABCD 4 A, B, C, D ABCD ABCD ABCD n 4 n 2 n 4 m n = 4m n = 2 × 2m k = 2m n = 2k n 2 n 4 n 2 • • • • ⇒ • • 19 • • • Figure: G.Frege (1848-1925) • 1879
ラグランジュの定理（群論） - ペケンペイのブログ
この記事では群論の重要定理であるラグランジュの定理の簡単な説明と、 群論を用いたCodeforces 334 (Div. 1) B. Moodular Arithmeticの解法について説明する。 この記事は 群の定義 部分群の定義 群の位数の定義 既約剰余類群 を知っている人を対象として書いた。 さて、ラグランジュの定理とは次の定理のことである。 有限群\(G\)の部分群\(H\)がある。このとき\(|H|\)は\(|G|\)の約数である。 この定理の証明方法と、応用方法を順に説明する。 ラグランジュの定理 ラグランジュの定理を導くのに必要な2つの定理を紹介する。 1つ目の定理は次のようなもの。 定理1：有限群\(G\)の部分集合\(A=\{g_1,g_2,\ldots,g_n\}\)の各元に\(g\in G\)を掛けた集合を \(gA=\{gg_1, gg_2,\ldots,gg_n\
(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 - Hatena Developer Blog
こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ
Deep Learningの理論的論文リスト - Obey Your MATHEMATICS.
§1はじめに Deep Learningってどのくらい理論的に解明されているのか？ってやっぱり気になりますよね。 それに関して、次のQuoraのスレッドに非常に有益なコメントがあります。 When will we see a theoretical background and mathematical foundation for deep learning? - Quora How far along are we in the understanding of why deep learning works? - Quora 深層学習界の大御所であるYoshua Bengio、Yann LeCunの二人が 実際ディープラーニングの理論的理解ってどうなのよ？？ って質問に直々にコメントしています。 LeCunのコメントの冒頭を少し引用しますと; That’s a very active
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
みんな深夜アニメは「2倍速」で消化するでしょ？
6.11 不完全な型 (Sun Studio 12: C ユーザーズガイド)
(PDF) 数式の読み方，大学で学ぶ数学公式 文責 澤野嘉宏 首都大学東京
Alice in 冷凍庫 / feat.IA
「マリカー」商標止められず、任天堂の異議却下(読売新聞) - goo ニュース