Movatterモバイル変換

nabinnoid:nabinno

• 563,812ブックマーク
• -お気に入り
• -お気に入られ

タグ

• すべて
• .net(4585)
• accounting(392)
• activerecord(322)
• activism(395)
• adobe(2970)
• advertising(470)
• afp(564)
• aist(417)
• al-jazeera(1960)
• alexa(403)
• algorithm(2639)
• amazon(895)
• amazon-ec2(470)
• amazon-redshift(459)
• amazon-s3(480)
• amazon-web-services(2828)
• analytics(9669)
• android(996)
• angular(576)
• angular-2(420)
• angularjs(1319)
• animation(425)
• anime(485)
• api-management(357)
• apple(1141)
• application(457)
• architecture(507)
• arrest(391)
• ars-technica(1813)
• art(10142)
• art-auction(576)
• artificial-intelligence(514)
• artificial-neural-network(2543)
• asahi(1846)
• atlantic(1034)
• atmarkit(3778)
• audio(685)
• australia(502)
• authentication(753)
• automobile(498)
• aws-lambda(411)
• bank-of-japan(1491)
• banks(635)
• barack-obama(853)
• bbc(20765)
• biennale(776)
• biology(5067)
• bitbucket(515)
• bitcoin(335)
• blockchain(1191)
• blog(1331)
• bloomberg(14830)
• books(3204)
• buddhism(378)
• business-promotion(1162)
• c(385)
• c#(630)
• c++(915)
• c-family-programming-language(4903)
• cabinet-office(5206)
• cakephp(363)
• california(3266)
• canada(744)
• carnegie-mellon-university(512)
• cascading-style-sheets(910)
• central-processing-unit(2360)
• channel-9(786)
• charles-murray(612)
• chatbot(606)
• chiba(657)
• child-development(1333)
• china(4626)
• chunichi-shimbun(443)
• circleci(338)
• city(353)
• classmethod(929)
• cloud-computing(606)
• cluster-analysis(2282)
• cluster-manager(1804)
• cnet(390)
• cnn(2863)
• comfort-women(364)
• comic(390)
• commentary(416)
• commodity-market(661)
• communication(413)
• community-building(7371)
• company(5132)
• compiler(332)
• concurrent-computing(3394)
• connecticut(480)
• connpass(1321)
• conservatism(449)
• construction(4501)
• content-generating(487)
• continuous-integration(711)
• cornel-university(425)
• creative(892)
• crime(1741)
• criminology(1814)
• critic(565)
• d3.js(389)
• daiwa-institute-of-research(768)
• data-mining(394)
• data-processing(362)
• data-structure(4679)
• data-visualization(2459)
• data-warehouse(442)
• database(5633)
• death(2171)
• deep-learning(1920)
• dena(330)
• dentsu(343)
• department-of-commerce(3978)
• design(638)
• diplomat-magazine(345)
• docker(3596)
• documentation(868)
• domain-name-system(455)
• dpj(550)
• e-book(729)
• e-learning(329)
• earthquake(527)
• ec(1137)
• economic-growth(2480)
• economics(379)
• economist(1948)
• education(992)
• elasticsearch(367)
• electronica(2800)
• elixir(5933)
• emacs(1449)
• email(387)
• employee-business(660)
• employment(787)
• energy(745)
• energy-policy(1146)
• english(599)
• entertainment(690)
• environmental-policy(5777)
• erlang(3351)
• ethereum(559)
• event(697)
• examination(2948)
• facebook(4045)
• file-system(334)
• film(766)
• finance(630)
• financial-times(2290)
• fiscal-policy(475)
• fiscal-problem(322)
• food(1333)
• forbes(1892)
• forecasting(2302)
• foreign-affairs(554)
• foreign-exchange-market(1893)
• fortune(890)
• fox(362)
• france(827)
• fraud(506)
• fukushima(341)
• functional-comparison(721)
• gambling(325)
• game(1503)
• general-election(444)
• germany(532)
• gerontology(585)
• git(499)
• github(23859)
• globis(1554)
• go(2515)
• google(4058)
• google-chrome(1055)
• google-cloud(1684)
• google-play(338)
• government(631)
• graphql(1032)
• guardian(5665)
• guide(1400)
• gun-violence(400)
• hacker-news(330)
• harvard-university(866)
• hatelabo-anonymousdiary(440)
• hatena-bookmark(36400)
• havard-business-review(766)
• health(642)
• healthcare-industry(1639)
• heroku(970)
• hong-kong(550)
• house-of-councillors(356)
• housing(698)
• html(5459)
• http-server(345)
• huffington-post(634)
• hypervisor(476)
• ict(2403)
• ieice(358)
• impress(1314)
• impression-management(586)
• india(776)
• infrastructure-as-a-service(774)
• installation(685)
• intel(1299)
• intelligent-agent(1102)
• interview(538)
• investment(578)
• ios(584)
• ipa(1860)
• iphone(701)
• italy(918)
• itmedia(611)
• japan(3172)
• japan-china-disputes(791)
• japan-korea-disputes(841)
• japan-research-institute(400)
• java(2739)
• javascript(11503)
• jazz(701)
• jiji-press(1571)
• jil-pt(570)
• jpcert(586)
• jquery(376)
• json(403)
• jst(1648)
• kenplatz(3466)
• keras(385)
• kernel(1338)
• kickstarter(641)
• korea(712)
• kubernetes(2186)
• kyoto-university(484)
• la-biennale(702)
• labor-economics(10224)
• language-model(1032)
• laravel(720)
• law(570)
• ldp(1263)
• liberalism(645)
• libertarianism(795)
• library(703)
• line(517)
• link-building(422)
• linux(6528)
• local-government(7644)
• log-management(560)
• los-angels-times(829)
• lpi(828)
• machine-learning(8534)
• macos(460)
• mainichi(793)
• manga(409)
• market-research(2612)
• market-trend(10003)
• marketing(722)
• massachusetts(2942)
• mathematics(547)
• media(1611)
• media-art(423)
• media-manipulation(360)
• medical(759)
• meditation(476)
• medium(3175)
• meetup(2134)
• microsoft(3538)
• microsoft-azure(512)
• microsoft-developer-network(949)
• middle-east(1710)
• military(1083)
• ministry-of-economy(3898)
• ministry-of-education-culture(1010)
• ministry-of-finance(473)
• ministry-of-internal-affairs(979)
• ministry-of-land(405)
• ministry-of-welfare(12489)
• mit(2342)
• mitt-romney(699)
• mobile(604)
• mobile-app(1035)
• mobile-application-development(3571)
• module-loader(628)
• monetary-policy(2956)
• morphological-analysis(348)
• movie(19517)
• mozilla(1209)
• murder(798)
• museum(565)
• music(6073)
• mysql(1360)
• national-diet-library(4397)
• national-institute-of-health(4981)
• national-library-of-medicine(4914)
• national-vulnerability-database(3865)
• natural-language-processing(568)
• ncbi(4837)
• network(471)
• network-engineering(1177)
• neuroscience(814)
• new-york(521)
• new-york-times(5431)
• new-yorker(692)
• newsweek(1087)
• nginx(791)
• nhk(4042)
• nikkei(1515)
• nikkei-bp(4169)
• nist(3978)
• nli-research-institute(1312)
• node.js(3243)
• nomura-research-institute(447)
• nosql(683)
• note(491)
• novel(351)
• npm(336)
• npr(1564)
• ntt-data(483)
• nu-jazz(342)
• nuclear-power(522)
• nuclear-power-phase-out(691)
• nvidia(439)
• ocaml(1077)
• online-advertising(374)
• openstack(528)
• oracle(384)
• organization(1478)
• oricon(3219)
• os-level-virtualization(3240)
• osaka(723)
• package-management(513)
• paleolibertarianism(599)
• pandas(602)
• pathology(6097)
• pennsylvania(496)
• people(5747)
• peoples-daily(1524)
• performance-engineering(674)
• perfume(328)
• perl(709)
• personal-development(524)
• peter-thiel(340)
• phoenix-framework(888)
• photo(1175)
• php(2861)
• physiology(2637)
• platform-as-a-service(4255)
• plugins(1062)
• police(729)
• politics(3519)
• postgresql(1605)
• powershell(1163)
• presidential-election(550)
• privacy(882)
• product-hunt(374)
• productivity(883)
• programming(605)
• programming-language(379)
• prtimes(1281)
• psychology(551)
• public-company(654)
• public-health(461)
• pubmed.gov(4835)
• python(4928)
• qiita(14749)
• qualcomm(979)
• qualcomm-snapdragon(862)
• quora(368)
• radiation-poisoning(583)
• rakuten(705)
• ranking(395)
• rape(464)
• raspberry-pi(1341)
• rdbms(1649)
• react(791)
• react-native(1932)
• real-estate(1072)
• real-estate-economics(5487)
• recruit(867)
• reddit(414)
• redis(435)
• reference(989)
• religion(902)
• remote-procedure-call(414)
• research(1634)
• researchmap(1091)
• reuters(6177)
• review(1647)
• rieti(405)
• ril(1645)
• robotics(838)
• rspec(668)
• ruby(11855)
• ruby-family-programming-language(8539)
• ruby-on-rails(6535)
• rubyflow(1743)
• rumor(573)
• russia(1111)
• rust(1580)
• saatchi-art(434)
• sankei(2315)
• scala(1387)
• scikit-learn(341)
• search-engine(951)
• security(1106)
• security-engineering(3656)
• security-management(1566)
• senkaku-islands(715)
• seo(4753)
• serps(349)
• services(3826)
• sexology(1635)
• shinzo-abe(715)
• single-board-computer(1248)
• slideshare(431)
• smart-city(418)
• smart-contract(477)
• smartphone(905)
• social-media(514)
• social-media-marketing(1307)
• sociology(1369)
• software(1222)
• software-debugging(520)
• software-deployment(1669)
• software-design-pattern(687)
• software-engineering(3110)
• software-testing(2602)
• sothebys(354)
• soundcloud(492)
• space(365)
• speaker-deck(1984)
• sports(427)
• stack-overflow(7084)
• stanford-university(1667)
• statistics(1112)
• steelmaking(623)
• stock-market(900)
• stress-management(604)
• structured-query-language(403)
• style-sheet-language(427)
• suicide(334)
• summer-olympic-games(352)
• swift(867)
• swiss(394)
• syria(378)
• tax(383)
• tax-law(569)
• techcrunch(631)
• ted(530)
• teikoku-data-bank(600)
• telegraph(2138)
• television(547)
• temporary-work(385)
• tensorflow(1527)
• tepco(330)
• thesis(691)
• think-tank(11886)
• til(363)
• time(1887)
• titanium-mobile(602)
• tokyo(1711)
• tokyo-shoko-research(642)
• tools(5928)
• toru-hashimoto(364)
• tourism(661)
• traffic-collision(334)
• travel(457)
• trend-micro(543)
• trial(754)
• trouble(1264)
• typescript(1115)
• ubuntu(645)
• uc-berkeley(1020)
• ucla(560)
• unit-testing(653)
• united-kingdom(2250)
• united-nations(484)
• unity(2270)
• university(2302)
• university-of-oxford(443)
• unsupervised-learning(2122)
• usa(16092)
• usa-today(777)
• value-added-tax(361)
• video-game-development(2324)
• videonews(418)
• vimeo(846)
• violence(541)
• wall-street-journal(1202)
• washington-post(901)
• weather(456)
• web-analytics(458)
• web-api(2540)
• web-based-application-framework(2083)
• web-creative(329)
• web-design(371)
• web-service(2089)
• webpack(590)
• welfare(663)
• windows(3512)
• windows-10(415)
• wired(703)
• womens-work(491)
• wordpress(519)
• workflow-management-system(1333)
• world-economic-forum(558)
• x(3292)
• xamarin(1252)
• xamarin.forms(462)
• xml-master(767)
• yahoo-textream(521)
• yale-university(455)
• yomiuri(1871)
• youtube(4186)
• zoology(1130)
• hatena-bookmark(36400)
• github(23859)
• bbc(20765)
• movie(19517)
• usa(16092)
• bloomberg(14830)
• qiita(14749)
• ministry-of-welfare(12489)
• think-tank(11886)
• ruby(11855)

タグをすべて表示

関連タグで絞り込む (6)

• formal-methods
• mcrl2
• modal-mu-calculus
• model-checking
• software-testing
• tools

タグの絞り込みを解除

modal-logicとspecificationに関するnabinnoのブックマーク (2)

• Home — mCRL2 202507.0 documentation

  • 1 user
  • www.mcrl2.org
  • 世の中

  

  nabinno2018/04/08

  • mcrl2
  • modal-mu-calculus
  • modal-logic
  • model-checking
  • formal-methods
  • software-testing
  • specification
  • tools

  リンク

• Modal μ-calculus - Wikipedia

  • 2 users
  • en.wikipedia.org
  • テクノロジー

  In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimesjust μ-calculus, although this can have a more general meaning) is an extension of propositional modallogic (with many modalities) by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-pointlogic. The (propositional, modal) μ-calculus originates with Dana Scott and Jaco de Bakker,[

  

  nabinno2018/04/08

  • modal-mu-calculus
  • modal-logic
  • model-checking
  • formal-methods
  • software-testing
  • specification

  リンク
• 1

• 総合
• 一般
• 世の中
• 政治と経済
• 暮らし
• 学び

• テクノロジー
• エンタメ
• アニメとゲーム
• おもしろ

• アプリ・拡張機能
• 開発ブログ
• ヘルプ
• お問い合わせ
• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• 公式アカウント
• ホットエントリー