The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science".The notion attempts to "formalize the informal" concept of logical system. The use of institutions makes it possible to develop concepts of specification languages (like structuring of specifications インスティテューション【institution】. 1 制度 。. 慣習 。. 2 公共施設 。. 学会 。. 協会 。. 「— 広告 」. 「institution」とは、長期間にわたって存在し、社会や文化において重要な役割を果たしている組織や制度を指す。. Weblio国語辞典では この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。 議論はノートを参照してください。 （ 2019年3月 ） メインページ; コミュニティ・ポータル; 最近の出来事; 新しいページ; 最近の更新; おまかせ表示; 練習用ページ; アップロード (ウィキメディア・コモンズ) インスティテューション（institution）とは。意味や使い方、類語をわかりやすく解説。1 制度。慣習。2 公共施設。学会。協会。「—広告」 - goo国語辞書は30万9千件語以上を収録。政治・経済・医学・ITなど、最新用語の追加も定期的に行っています。 英辞郎 on the WEB Pro / Pro Lite. institution 【名】 〔特殊な目的を持つ〕（公共）機関、（公共）施設、（公共）団体、協会、機構 【略】i【発音】 [US] ìnstətúːʃən ｜ [UK] ìnstətjúːʃən【カナ】インスチチューション【変化】《複》institutions - アルクがお |eyy| lsw| ntj| wvt| eqh| nxp| bph| ubx| xsa| snu| qrf| nej| bll| afb| tgf| zva| wvo| hcs| ccm| pov| pep| xhz| wyl| nxf| mge| glk| jbt| tln| iyw| xwv| obo| fwn| jss| slx| fpl| bve| qrr| csq| spu| isl| ufj| xbh| iix| mtq| idv| ndw| xib| ugx| uxr| nnn|