---
# System prepended metadata

title: ゼミの議事録

---

# ゼミの議事録

## dalmoreの話し

dalmoreはサーバー室に置いておく感じ
メモリ600Gあるらしい

dalmoreもって5年くらい使えれば良い

大学で買おうか迷っている感じ？

LLVMのデバッグはMBPでできる感じがあるらしい

### 欲しいもの
TV　買い換えることはできる
ただサーバーとどちらかになりそう


## kono先生

CCCをグラフに分解した後にpositive Logicに直すらしい

なるほどわからん

Hom式
aは型変数Fは配列

命題から命題への射全部になっているのでだめ(対象が広すぎる)
限定にできるはず->関数で仮定を作成してなんやかんやしたらできたらしい

## cのunmount

PCSリソースからCを消したいができない
学校に木曜日から入れるのでその前になんとかしておきたい。そのため水曜日に作業をする

シス管MTGの時にやるとkono先生が見れるらしい

## TreeVNC

wanで動かしたい

## anagraさん

xv6

cbcは()の対応を取れない(パースできない)
peg grammer
スタックと状態遷移で作る
パースしたらtreeが作成されるが、それはモナドに蓄える

biteコードが出力される

cbcの関数そのもの
それが番号づけされて記録されている

または直接呼び出しでも良い

機械langに落とす部分をどうするのか
モナdに機械語をためる

機械語のdata構造これをcbcに変換する

biteコードのインタプリタを実行する
機械語を読み込んで実行するのと同じ

変換をいつ誰がやるのか書いていない

cbcっぽいインタプリタができる
cベースのシンタックスから解放される

LLVMのエンジンを使うかどうかは自由度がある

int lenでできないわけではない
int primitive　な方を取れるようにしないといけないので途方な作業になる

構造体の中にintを書けばよい

送り側と受け取りの両方にstubを用意しないといけないがやっていない

monadoでトークンを生成というgotoを作成

cbcのmonadoは特定のaddトークンのgotoを呼び出すだけでできる
次にどこにいくかをnextで呼び出す

listへの追加？(うまく聞き取れなかったです…)

stackとque

firefoxがhttpsでないのに怒るのよくわからない
chromeが怒るのはわからなくもないですが

httpならロードバランサーでアクセス分散ができる？そういう話しではない？

## ikkunnさん

PC水没したっぽい？




