# ゼミの議事録 ## 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水没したっぽい？