kaisugi

Keybase proof

I hereby claim:

• I am kaisugi on github.
• I am hellorusk (https://keybase.io/hellorusk) on keybase.
• I have a public key ASCtl8nvItifvpcaYqvDZYu_h83nQgdS-ao-aO-4-bHINwo

To claim this, I am signing this object:

kaisugi

• 固定残業代（以下が明示されているか？）

  • 固定残業代に関する労働時間数と金額等の計算方法
  • 固定残業代を除外した基本給の額
  • 固定残業代を超える労働分についての割増賃金を追加で支払うこと

• 年棒制（以下が明示されているか？）

  • 一定の残業代を含んだ上で年俸額が示されているのであれば、そのうち残業代がいくらなのか

• 裁量労働制

• 残業代は支払われないため、長時間労働につながりやすい

kaisugi

手引き

• 雑誌の場合：著書、表題、雑誌名、巻、号、ページ、発行年
  • 英語だと...？：author, title, booktitle, volume, number, pages, year
• 単行本の場合：著書、署名、ページ数、発行所、発行年

kaisugi

# Tri-Diagonal Matrix Algorithm
def tdma(A, b):
  n = b.size
  p = []
  q = []

  p.append(A[0][1] / A[0][0])
  q.append(b[0] / A[0][0])  

  for i in range(1, n):

kaisugi

CC = g++
CFLAGS = -Wall -std=c++17

pro: problem.cpp
	$(CC) $(CFLAGS) -o pro -g problem.cpp

test:
	./pro < test_input

comp:

kaisugi

div#notebook {
 font-family: sans-serif;
 font-size: 11.5pt;
 line-height: 120%;
 color: #b5c2d9;
 -webkit-font-smoothing: antialiased !important;
 padding-top: 25px !important;
}
body,
div.body {

kaisugi

pipenv install jupyter jupyter_contrib_nbextensions
pipenv install matplotlib numpy scipy
pipenv run jupyter notebook --ip=127.0.0.1 --allow-root

# pdf にする
jupyter nbconvert hoge.ipynb --to pdf

kaisugi

月2　言語モデル論

授業の目標、概要

プログラミング言語の基礎となる計算モデル、および意味論について学び、プログラムの挙動に関する厳密な推論やプログラミング言語およびその処理系の正しい設計を行えるようにする。

授業計画

講義の前半はプログラミング言語の基本的な意味論を学び、後半ではλ計算を代表とする計算モデルおよび型システム等について学ぶ。
第1回：導入

kaisugi

from typing import Dict, Set

def incrementDate(date: Dict[str, int]) -> None:
    if date["month"] == 12 and date["day"] == 31:
        date["year"] += 1
        date["month"] = 1
        date["day"] = 1
    elif date["day"] == 31:
        date["month"] += 1
        date["day"] = 1

kaisugi

\documentclass[dvipdfmx]{jsarticle}
\usepackage{amsmath,amssymb,ascmac,geometry,graphicx,listings,newpxtext,url,physics}
\geometry{margin=1.5cm}

\renewcommand{\lstlistingname}{Program}
\lstset{
  basicstyle={\ttfamily},
  identifierstyle={\small},
  commentstyle={\smallitshape},
  keywordstyle={\small\bfseries},