Skip to content

Instantly share code, notes, and snippets.

View kaisugi's full-sized avatar

Kaito Sugimoto kaisugi

View GitHub Profile
(* デバッグ用 *)
let rec print_env env =
match env with
| (x, v) :: rest -> (print_string (x^"="); print_value v; print_string " "; (print_env rest))
| _ -> print_string "\n"
type 'a m = 'a list
let (>>=) x f = List.concat (List.map f x)
let return x = [x]
let guard b = if b then return () else []
let numbers = [1; 2; 3; 4; 5; 6; 7; 8]
let rec remove l n =
match l with
| [] -> []
@kaisugi
kaisugi / clean_zip.sh
Created April 10, 2019 10:44
ディレクトリ内のzipから.DS_Storeと__MACOSXを除去
for file in `find *.zip`
do
zip ${file} -d "*.DS_Store"
zip ${file} -d "*__MACOSX*"
done
@kaisugi
kaisugi / imadoki_react_lifecycle.md
Last active March 29, 2019 10:22
今時(2019年3月)の React Lifecycle

componentWillReceiveProps が今は legacy になっているのを知らずに使っていてびっくりしたので、https://reactjs.org/docs/react-component.html から知らなかった部分をメモ

よく使うやつ

render()

はい
shouldComponentUpdate() が false を返すときは発火しない

constructor()

{
"editor.tabSize": 4
}
@kaisugi
kaisugi / make_many_dir.ps1
Created March 28, 2019 03:54
PowerShell で for 文を回して一気にmkdirする
for ($i=0; $i -lt 10; $i++){
mkdir ("HOGE00" + $i)
}
@kaisugi
kaisugi / replace_hoge_with_fuga.ps1
Created March 28, 2019 03:39
PowerShell でディレクトリ内のファイル名の一括置換
dir | rename-item -newname { $_.name -replace 'hoge', 'fuga' }

月2 オペレーティングシステム 理7号館 214号室

授業の目標、概要

オペレーティングシステムの機能及び構造について、実際のシステムの例も挙げながら、その基礎を論じる。主な内容は、プロセス、プロセス間の同期通信、スケジューリング、メモリ管理、ファイルと入出力、トランザクション処理、セキュリティなど。

授業計画

  1. 計算機システム概要(復習)
  2. プロセス管理
@kaisugi
kaisugi / propel_memo.md
Last active March 31, 2019 13:02
PHP とか Propel とか Slim とかのメモ

HTTPメソッドの生やし方

たとえば count という POST メソッドなら

$app->post('/count', function(\Slim\Http\Request $request, \Slim\Http\Response $response, $args) use ($app) {
  $params = $request->getParams();
  $data = json_decode($params["data"],true); // この $data がパラメータの連想配列にあたる、多分
  
 /* 処理書く */
@kaisugi
kaisugi / object_oriented.md
Last active March 29, 2019 09:09
オブジェクト指向設計実践ガイド

SOLID則

  • 単一責任(Single Responsibility)
  • オープン・クローズド(Open-Closed)
  • リスコフの置換(Liskov Substitution)
  • インターフェース分離(Interface Segregation)
  • 依存性逆転(Dependency Inversion)

単一責任のクラスを設計する