Dismiss Join GitHub today GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together. Sign up
タグ
- すべて
- .net (4575)
- accounting (382)
- activerecord (330)
- activism (396)
- adobe (3001)
- advertising (467)
- afp (545)
- aist (417)
- al-jazeera (1971)
- alexa (403)
- algorithm (2630)
- amazon (887)
- amazon-ec2 (470)
- amazon-redshift (461)
- amazon-s3 (477)
- amazon-web-services (2870)
- analytics (9646)
- android (982)
- angular (585)
- angular-2 (420)
- angularjs (1318)
- animation (424)
- anime (479)
- apartment (326)
- api-management (355)
- apple (1143)
- application (455)
- architecture (506)
- arrest (392)
- ars-technica (1809)
- art (10120)
- art-auction (576)
- artificial-intelligence (471)
- artificial-neural-network (2536)
- asahi (1806)
- atlantic (1034)
- atmarkit (3777)
- audio (680)
- australia (498)
- authentication (715)
- automobile (498)
- aws-lambda (421)
- bank-of-japan (1487)
- banks (623)
- barack-obama (855)
- bbc (20750)
- biennale (776)
- biology (5065)
- bitbucket (512)
- bitcoin (330)
- blockchain (1191)
- blog (1329)
- bloomberg (14784)
- books (3125)
- buddhism (382)
- business-promotion (1154)
- c (385)
- c# (629)
- c++ (913)
- c-family-programming-language (4914)
- cabinet-office (5193)
- cakephp (366)
- california (3262)
- canada (743)
- carnegie-mellon-university (511)
- cascading-style-sheets (909)
- central-processing-unit (2410)
- channel-9 (786)
- charles-murray (610)
- chatbot (606)
- chiba (656)
- child-development (1313)
- china (4558)
- chunichi-shimbun (419)
- circleci (349)
- city (341)
- classmethod (905)
- cloud-computing (598)
- cluster-analysis (2276)
- cluster-manager (1786)
- cnet (383)
- cnn (2881)
- comfort-women (358)
- comic (389)
- commentary (413)
- commodity-market (657)
- communication (411)
- community-building (7369)
- company (5063)
- compiler (346)
- concurrent-computing (3386)
- connecticut (481)
- connpass (1322)
- conservatism (418)
- construction (4491)
- content-generating (480)
- continuous-integration (713)
- cornel-university (422)
- creative (884)
- crime (1734)
- criminology (1596)
- critic (564)
- d3.js (389)
- daiwa-institute-of-research (767)
- data-mining (387)
- data-processing (362)
- data-structure (4675)
- data-visualization (2452)
- data-warehouse (453)
- database (5614)
- death (2150)
- deep-learning (1888)
- dentsu (352)
- department-of-commerce (3976)
- design (640)
- diplomat-magazine (344)
- docker (3582)
- documentation (858)
- domain-name-system (442)
- dpj (550)
- e-book (717)
- e-learning (330)
- earthquake (524)
- ec (1127)
- economic-growth (2476)
- economics (372)
- economist (1933)
- education (985)
- elasticsearch (374)
- electronica (2792)
- elixir (5937)
- emacs (1433)
- email (383)
- employee-business (628)
- employment (786)
- energy (743)
- energy-policy (1126)
- english (589)
- entertainment (686)
- environmental-policy (5773)
- erlang (3350)
- ethereum (557)
- event (699)
- examination (2942)
- facebook (4030)
- file-system (331)
- film (758)
- finance (626)
- financial-times (2288)
- firebase (331)
- fiscal-policy (435)
- fiscal-problem (326)
- food (1327)
- forbes (1881)
- forecasting (2302)
- foreign-affairs (543)
- foreign-exchange-market (1888)
- fortune (890)
- fox (357)
- france (819)
- fraud (472)
- fukushima (353)
- functional-comparison (703)
- gambling (326)
- game (1495)
- general-election (425)
- germany (528)
- gerontology (571)
- git (491)
- github (23040)
- globis (1552)
- go (2512)
- google (3997)
- google-chrome (1037)
- google-cloud (1599)
- google-play (338)
- government (621)
- graphql (1030)
- guardian (5657)
- guide (1386)
- gun-violence (391)
- hacker-news (343)
- harvard-university (881)
- hatelabo-anonymousdiary (355)
- hatena-bookmark (36538)
- havard-business-review (767)
- health (644)
- healthcare-industry (1476)
- heroku (969)
- hong-kong (545)
- house-of-councillors (357)
- housing (695)
- html (5463)
- http-server (349)
- huffington-post (630)
- hypervisor (476)
- ict (2397)
- ieice (358)
- impress (1265)
- impression-management (553)
- india (769)
- infrastructure-as-a-service (762)
- installation (676)
- intel (1344)
- intelligent-agent (1074)
- interview (536)
- investment (577)
- ios (580)
- ipa (1852)
- iphone (695)
- italy (918)
- itmedia (571)
- itochu-techno-solutions (324)
- japan (3146)
- japan-china-disputes (767)
- japan-korea-disputes (844)
- japan-research-institute (401)
- java (2749)
- javascript (11505)
- jazz (690)
- jiji-press (1544)
- jil-pt (568)
- jpcert (586)
- jquery (375)
- json (405)
- jst (1645)
- kenplatz (3458)
- keras (385)
- kernel (1333)
- kickstarter (641)
- korea (703)
- kubernetes (2175)
- kyoto-university (480)
- la-biennale (702)
- labor-economics (10207)
- language-model (579)
- laravel (720)
- law (566)
- ldp (1201)
- liberalism (638)
- libertarianism (764)
- library (701)
- line (515)
- link-building (423)
- linux (6500)
- local-government (7638)
- log-management (554)
- los-angels-times (828)
- lpi (829)
- machine-learning (8521)
- macos (450)
- mainichi (746)
- manga (387)
- market-research (2615)
- market-trend (9932)
- marketing (718)
- massachusetts (2960)
- mathematics (543)
- media (1615)
- media-art (419)
- media-manipulation (356)
- medical (762)
- meditation (484)
- medium (3164)
- meetup (2134)
- microsoft (3483)
- microsoft-azure (519)
- microsoft-developer-network (949)
- middle-east (1722)
- military (1048)
- ministry-of-economy (3889)
- ministry-of-education-culture (1010)
- ministry-of-finance (467)
- ministry-of-internal-affairs (976)
- ministry-of-land (400)
- ministry-of-welfare (12471)
- mit (2351)
- mitt-romney (692)
- mobile (601)
- mobile-app (1037)
- mobile-application-development (3569)
- module-loader (628)
- monetary-policy (2946)
- morphological-analysis (353)
- movie (19481)
- mozilla (1204)
- murder (781)
- museum (562)
- music (5935)
- mysql (1348)
- national-diet-library (4392)
- national-institute-of-health (4982)
- national-library-of-medicine (4914)
- national-vulnerability-database (3870)
- natural-language-processing (566)
- ncbi (4837)
- network (463)
- network-engineering (1121)
- neuroscience (783)
- new-york (525)
- new-york-times (5424)
- new-yorker (689)
- newsweek (1085)
- nginx (793)
- nhk (4059)
- nikkei (1452)
- nikkei-bp (4162)
- nist (3973)
- nli-research-institute (1299)
- node.js (3248)
- nomura-research-institute (448)
- nosql (689)
- note (393)
- novel (319)
- npm (334)
- npr (1560)
- ntt-data (485)
- nu-jazz (343)
- nuclear-power (518)
- nuclear-power-phase-out (691)
- nvidia (431)
- ocaml (1076)
- online-advertising (356)
- openstack (515)
- oracle (350)
- organization (1479)
- oricon (3214)
- os-level-virtualization (3219)
- osaka (718)
- package-management (509)
- paleolibertarianism (597)
- pandas (591)
- pathology (6073)
- pennsylvania (495)
- people (5628)
- peoples-daily (1524)
- performance-engineering (662)
- perl (703)
- personal-development (522)
- peter-thiel (335)
- phoenix-framework (892)
- photo (1170)
- php (2856)
- physiology (2524)
- platform-as-a-service (4291)
- plugins (1055)
- police (716)
- politics (3351)
- postgresql (1599)
- powershell (1155)
- presidential-election (550)
- privacy (801)
- product-hunt (368)
- productivity (888)
- programming (604)
- programming-language (368)
- prtimes (1281)
- psychology (546)
- public-company (633)
- public-health (458)
- pubmed.gov (4835)
- python (4900)
- qiita (14692)
- qualcomm (990)
- qualcomm-snapdragon (864)
- quora (366)
- radiation-poisoning (582)
- rakuten (696)
- ranking (404)
- rape (428)
- raspberry-pi (1338)
- rdbms (1645)
- react (787)
- react-native (1930)
- real-estate (1072)
- real-estate-economics (5495)
- recruit (865)
- reddit (411)
- redis (439)
- reference (988)
- religion (888)
- remote-procedure-call (414)
- research (1635)
- researchmap (1093)
- reuters (6158)
- review (1633)
- rieti (403)
- ril (1638)
- robotics (837)
- rspec (666)
- ruby (11859)
- ruby-family-programming-language (8523)
- ruby-on-rails (6543)
- rubyflow (1739)
- rumor (572)
- russia (1087)
- rust (1522)
- saatchi-art (436)
- sankei (2271)
- scala (1387)
- scikit-learn (338)
- search-engine (928)
- security (1105)
- security-engineering (3570)
- security-management (903)
- senkaku-islands (717)
- seo (4739)
- serps (340)
- services (3828)
- sexology (1563)
- shinzo-abe (710)
- single-board-computer (1245)
- slideshare (436)
- smart-city (415)
- smart-contract (477)
- smartphone (898)
- social-media (495)
- social-media-marketing (1305)
- sociology (1346)
- software (1220)
- software-debugging (517)
- software-deployment (1664)
- software-design-pattern (690)
- software-engineering (3063)
- software-testing (2587)
- sothebys (355)
- soundcloud (491)
- space (356)
- speaker-deck (1895)
- sports (427)
- stack-overflow (7076)
- stanford-university (1663)
- statistics (1098)
- steelmaking (623)
- stock-market (881)
- stress-management (596)
- structured-query-language (398)
- style-sheet-language (421)
- suicide (321)
- summer-olympic-games (351)
- swift (867)
- swiss (408)
- syria (375)
- tax (384)
- tax-law (564)
- techcrunch (628)
- ted (575)
- teikoku-data-bank (585)
- telegraph (2135)
- television (550)
- temporary-work (383)
- tensorflow (1529)
- thesis (687)
- think-tank (11868)
- til (349)
- time (1886)
- titanium-mobile (604)
- tokyo (1685)
- tokyo-shoko-research (649)
- tools (5915)
- toru-hashimoto (357)
- tourism (647)
- travel (457)
- trend-micro (541)
- trial (737)
- trouble (1232)
- typescript (1109)
- ubuntu (641)
- uc-berkeley (1018)
- ucla (560)
- unit-testing (653)
- united-kingdom (2252)
- united-nations (477)
- unity (2268)
- university (2296)
- university-of-oxford (443)
- unsupervised-learning (2116)
- usa (16024)
- usa-today (775)
- value-added-tax (355)
- video-game-development (2320)
- videonews (418)
- vimeo (848)
- violence (512)
- virtualbox (321)
- wall-street-journal (1199)
- washington-post (896)
- weather (465)
- web-analytics (465)
- web-api (2527)
- web-based-application-framework (2082)
- web-creative (334)
- web-design (372)
- web-service (2084)
- webpack (590)
- welfare (651)
- windows (3476)
- windows-10 (407)
- wired (698)
- womens-work (498)
- wordpress (516)
- workflow-management-system (1327)
- world-economic-forum (558)
- x (3140)
- xamarin (1245)
- xamarin.forms (466)
- xml-master (767)
- yahoo-textream (525)
- yale-university (456)
- yomiuri (1829)
- youtube (4163)
- zoology (1128)
- hatena-bookmark (36538)
- github (23040)
- bbc (20750)
- movie (19481)
- usa (16024)
- bloomberg (14784)
- qiita (14692)
- ministry-of-welfare (12471)
- think-tank (11868)
- ruby (11859)
pに関するnabinnoのブックマーク (4)
-
nabinno 2017/09/24
- github
- p
- manual
- ethan-jackson
- shaz-qadeer
リンク -
GitHub - p-org/P: The P programming language.
Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P Over
-
P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research
The programming model in P is based on concurrently executing state machines communicating via events, with each event accompanied by a typed payload value. A memory management system based on linear typing and unique pointers provides safe memory management and data-race-free concurrent execution. In this respect, P is similar to modern systems programming languages such as Rust (opens in new tab
-
P (計算複雑性理論) - Wikipedia
Pはしばしば、「効率的に解ける」問題のクラスとして扱われる。しかしながら、RPやBPPといった乱択で解けるクラスも、Pより大きいかもしれないが「効率的に解ける」と考えることもできる。逆にPに属しても実際には扱うことが困難である問題もある。例えば、入力のサイズnに対してn1000000の時間を必要とする問題も、定義からはPに属する。 Pに属する問題のうち対数領域還元に関して最大なものはP完全であるという。 非決定性チューリング機械によって多項式時間で解かれる判定問題のクラスをNPという。PがNPに含まれることは自明である。多くの研究者がPはNPの真部分集合であると信じているが、証明されていない（P≠NP予想）。 対数領域の決定性チューリング機械で判定可能な問題のクラスであるLはPに含まれるが、L = Pかどうかは未解決である。対数領域の交替性チューリング機械によって解ける問題のクラスALOG
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx