もっちぃ さんのマイページ
@tanimocchi @tanimocchiさんをフォロー 発言は個人的なものであり、所属組織とは無関係です。「計算モデルと形式言語一式、形式的意味論を議論するための自相論理・様相論理含む論理学やプロセス代数、計算量に関する議論、離散最適化問題、などについて最新の国際学会レベル+もっと なレベルで理解してそれを実務で運用してるヒト」と最近誤解されているが、そんなわけない。 今後の予定過去の予定日付未定 |
|
もっちぃ さんのマイページ
@tanimocchi @tanimocchiさんをフォロー 発言は個人的なものであり、所属組織とは無関係です。「計算モデルと形式言語一式、形式的意味論を議論するための自相論理・様相論理含む論理学やプロセス代数、計算量に関する議論、離散最適化問題、などについて最新の国際学会レベル+もっと なレベルで理解してそれを実務で運用してるヒト」と最近誤解されているが、そんなわけない。 今後の予定過去の予定日付未定 |
|
