離散数学に書かれているように組み合わせ論と、グラフ理論が中心だった。章立ては以下のようになる。 集合と論理 関係と写像 代数系 順序集合と束 グラフ ここでは、集合について基本的な記号∈∉⊆⊂∪∅の紹介とA={n|1≧..}要素を書く方法等が書かれている。後はN…

gRPC を使ったファイル転送ツール作った。 Win->Linuxで転送を行うときに簡単に行える便利ツール。基盤としてgRPCが使用されているようだ。gRPC自体はgRPCって何？ この辺を見ると簡単に分かる。.protoを使用してクライアントとサーバー側に必要なコードのひ…