英単語メモ
読めなかった英語、思いつかなかった英語をひたすら書く
formulas: 数式、公式
expressed in: 表現する
formal language: 形式言語
calculus: 微積分
numerous contributions: 多数の貢献
institutions: 機関
widespread: 広く普及している、広範
instance : 実例
Theorem: 定理
conduct: 実施する
incorporates: 組み込まれる
improve: 改善する
classical reasoner: 古典的な推論者
invoked: 呼び出される
notations: 表記法
executable: 実行可能
moments: 瞬間
donfotable: 快適
suppose: 思う、仮定する
undergrad: 学部生
clinging: しがみついている
closest: 親密な
bonfire: 焚き火
cardboard: 厚紙
mass: 質量
squeeze: 絞る
recapture: 奪還する
unsure: 自信が無い、確信がない
settled: 解決する
certain: 確か
instinct: 本能
strenghs: 強み
occur: 起こる
frequently: しばしば、よく
devoted: 献身的
brief: 簡単に
familiar: 身近、慣れた
nonemty set: 空でない集合
denote: 示す
prevalant: 蔓延している、流行っている
treatment: 処理
preclude: 排除する
determine: 決める、定める、明らかにする
faults: 故障
convenient: 便利
desirable: 望ましい
redundant: 冗長な