Legokichi Duckscallion legokichi

Jordan標準形 (Jordan normal form)

K:代数閉体, V:有限次元のK-線形空間, f : V → V 線形写像のとき、Vの基底を上手く選ぶと表現行列がJordanブロックを対角線上に並べた行列になる。

この標準形はJordanブロックの順列を除いて一意である。

計算方法1: 固有方程式を解き固有値を得る。(A-λI)x=0となるxを探す。(A-λI)y=xとなるyを探す。これを止まるまで繰り返すことで基底の一部が得られる。別の固有ベクトルや別の固有値に対しても同様のことを行う。

有理標準形 (Frobenius normal form)

Twitter のストリーミング API が滅亡した今、 tweetdeck をスクレイピング(?)するのが一番簡単に twitter の更新情報をリアルタイムに取得する方法だと思います。

ここではその方法を説明します。

1. puppeteer

puppeteer は極めて強力なソフトウェアで、本物の Chrome を使って簡単に Web サイトの操作を自動化したりスクレイピングしたりできます。

今回のような用途で特筆すべき点は、 puppeteer は Web アプリケーションの Ajax リクエストのレスポンスを横取りできる点です。以下に例を示します

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it

パターンとはその言語が抽象化できなかった敗北の歴史である。しかしどんなに優れた言語であってもあらゆる繰り返しに勝てるわけではない。人は必ずメタ繰り返しを欲するからだ。そしてそれはRustも例外ではない。

ここでは、OOPでも知られているパターンよりも、Rustに特有のパターンを思いつく限りまとめてみた。名前は適当。

crate splitting
- でかいcrateを分割して、見通しを良くする・再コンパイルの分量を削減する・並列コンパイルを可能にする
親玉crate(全てにdependする)と殿crate(全てにdependされる)があることが多いので、だいたい束みたいな形になる。

MQTT とはなんだったのか

更新:	2017-05-09
作者:	@voluntas
バージョン:	3.14
URL:	http://voluntas.github.io/

MQTT をググって調べた人向け

Async/Await - The challenges besides syntax - Cancellation

This is the second article in a series of articles around Rusts new async/await feature. The first article about interfaces can be found here.

In this part of the series we want to a look at a mechanism which behaves very different in Rust than in all other languages which feature async/await support. This mechanism is Cancellation.

エンジニア向け研修

DMM.com(旧DMM.comラボ含む)
- ＤＭＭ.comラボ16新卒エンジニア研修 - (2016/08/24)
- DMM.comの新卒技術研修がスタートしました！ - (2019/04/25)
GMOインターネット
- 「Web 基礎」という講義をしました - (2019/05/17)
GMOペパボ
- 2013 年の新卒研修メニュー
- ペパボ新卒エンジニアの研修を開始している - (2013/05)
第二新卒研修をしていた - (2014/08)

Raftについて

Raftという分散合意アルゴリズムの紹介
論文: In Search of an Understandable Consensus ALgorithm (Extended Version)

注意

Raft三日目くらいの人が自分の理解をもとに(適当に)書いています

	module Algebra where

	import Prelude
	import Control.Monad.Eff (Eff)
	import Data.Maybe (Maybe(..))


	newtype ConsoleAlg f = ConsoleAlg
	{ printLn :: String -> f Unit
	, readLn :: f String