Peter Thiemann은 독일 Freiburg 대학의 정보학과 정교수입니다. Thiemann 교수는 OCaml과 Michelson 간의 원활한 상호 작용을 보장하고 OCaml 언어로 된 응용 프로그램에서 계약 호출의 올바른 조정을 보장하는 프레임 워크를 제공하는 프로젝트 인 COOC (Contract Orchestration for OCaml)에 대해이 보조금을 받았습니다. Indian Institute of Technology Madras (IIT Madras)는 8,000 명 이상의 학생과 거의 550 명의 교수진이 고등 기술 교육, 기초 연구 및 응용 연구에 집중하는 세계적 수준의 기관입니다. IIT는 OCaml에 대한 업스트림 멀티 코어 지원에 대한 보조금을 받고 Tezos 도구 스택, 특히 Irmin 및 Lwt를 확장했습니다. 팀은이 프로젝트를 위해 OCaml Labs와 긴밀하게 협력합니다. Inacta는 정보 관리에 중점을 둔 스위스 기반 전문 서비스 회사입니다. 60 명 이상의 전문가 팀과 함께 블록 체인 분야를 포함한 컨설팅 및 구현 서비스를 모두 제공합니다. 이 보조금은 컨설턴트의 Tezos 블록 체인 전환 및 교육을 지원하고 독일, 오스트리아 및 스위스에서 이러한 구현을 지원하기 위해 제공됩니다. 교토 대학은 일본에서 두 번째로 오래된 대학이며, 18 명의 노벨상 수상자가있는 아시아 최고의 연구 기관 중 하나입니다. 이는 아시아의 어떤 대학보다 많은 수입니다. 교토 대학은 현재의 간단한 Michelson 유형 검사에 대한 연구를 수행하여 Michelson 및 상위 수준 Tezos 스마트 계약 언어. 연구팀은 이러한 검증 기술을위한 접근 가능한 개발 도구를 만들고 일본과 그레이터 아시아 지역에서 Tezos 생태계의 성장에 기여할 것입니다.
| post_id | 87,692,495 |
|---|---|
| author | powergogo |
| permlink | research-and-education-2 |
| category | tezos |
| json_metadata | {"tags":["tezos"],"app":"steemit\/0.2","format":"markdown"} |
| created | 2020-09-26 17:37:09 |
| last_update | 2020-09-26 17:37:09 |
| depth | 0 |
| children | 0 |
| net_rshares | 41,190,742,549,991 |
| last_payout | 2020-10-03 17:37:09 |
| cashout_time | 1969-12-31 23:59:59 |
| total_payout_value | 7.344 SBD |
| curator_payout_value | 7.176 SBD |
| pending_payout_value | 0.000 SBD |
| promoted | 0.000 SBD |
| body_length | 889 |
| author_reputation | 2,499,066,298,306,331 |
| root_title | "Research and Education (2)" |
| beneficiaries | [] |
| max_accepted_payout | 1,000,000.000 SBD |
| percent_steem_dollars | 10,000 |
| author_curate_reward | "" |
| voter | weight | wgt% | rshares | pct | time |
|---|---|---|---|---|---|
| gerber | 0 | 11,094,542,362 | 8% | ||
| ezzy | 0 | 433,625,056,920 | 8% | ||
| slowwalker | 0 | 2,552,683,791 | 5% | ||
| exyle | 0 | 638,891,853,088 | 8% | ||
| oldstone | 0 | 49,839,579,903 | 5% | ||
| sigizzang | 0 | 33,155,205,998,694 | 100% | ||
| ew-and-patterns | 0 | 36,474,394,556 | 8% | ||
| chaostheory | 0 | 89,993,403 | 10% | ||
| butterfly-effect | 0 | 306,645,383 | 10% | ||
| gunthertopp | 0 | 41,033,667,575 | 0.9% | ||
| thegrandestine | 0 | 5,019,352,157 | 8% | ||
| apoloo1 | 0 | 6,686,846,599 | 5% | ||
| mirrorforce | 0 | 323,171,931 | 10% | ||
| lilith | 0 | 103,148,768 | 10% | ||
| mysticalword | 0 | 98,360,161 | 10% | ||
| dine77 | 0 | 92,047,211,406 | 4.83% | ||
| paradoxofchoice | 0 | 153,479,875 | 10% | ||
| betacore | 0 | 68,467,199 | 10% | ||
| omegacore | 0 | 3,984,927,645 | 10% | ||
| steem-d-anlovnit | 0 | 20,714,968,483 | 25% | ||
| karja | 0 | 148,293,413,269 | 7% | ||
| accelerator | 0 | 44,347,608,312 | 8% | ||
| deathwing | 0 | 719,796,392 | 20% | ||
| khaleelkazi | 0 | 879,271,673 | 8% | ||
| mmmmkkkk311 | 0 | 1,061,771,548,929 | 100% | ||
| nealmcspadden | 0 | 10,785,972,825 | 8% | ||
| heidimarie | 0 | 36,750,187,289 | 10% | ||
| audiosiren | 0 | 177,350,751 | 10% | ||
| kimjaguar | 0 | 1,040,413,094 | 12.5% | ||
| the-reaper | 0 | 124,315,921 | 10% | ||
| skybreaker | 0 | 1,059,375,714 | 10% | ||
| videoaddiction | 0 | 4,219,056,440 | 100% | ||
| supreme-verdict | 0 | 11,541,063,197 | 10% | ||
| retrocausality | 0 | 298,166,429 | 10% | ||
| leeyh | 0 | 20,859,564,170 | 10% | ||
| josevas217 | 0 | 4,766,490,372 | 3.75% | ||
| monster-reborn | 0 | 584,260,324 | 10% | ||
| franyeligonzalez | 0 | 2,650,568,691 | 2.5% | ||
| chain-reaction | 0 | 215,930,595 | 10% | ||
| megalithic | 0 | 6,135,373,459 | 10% | ||
| seha76 | 0 | 2,899,217,215 | 100% | ||
| wisdomandjustice | 0 | 29,155,606,939 | 10% | ||
| haraldsylwester | 0 | 32,655,563,936 | 100% | ||
| glory7 | 0 | 47,911,178,452 | 12.5% | ||
| harkar | 0 | 114,795,431,849 | 20% | ||
| jayplayco | 0 | 11,175,156,603 | 25% | ||
| dlike | 0 | 81,766,691,101 | 6% | ||
| kr-coffeesteem | 0 | 837,826,638 | 50% | ||
| new-steemit | 0 | 15,977,913,536 | 10% | ||
| kakakk | 0 | 775,903,797 | 5% | ||
| kamicurate | 0 | 256,944,698 | 100% | ||
| ctime | 0 | 1,055,162,822,812 | 100% | ||
| andresurrego | 0 | 485,030,620 | 2.5% | ||
| happybelly | 0 | 1,956,333,138,530 | 100% | ||
| bewithbreath | 0 | 1,450,241,523 | 5% | ||
| wackyloot | 0 | 65,688,763 | 100% | ||
| curating | 0 | 5,079,171,510 | 15% | ||
| steem.leo | 0 | 9,503,371,271 | 8% | ||
| leo.voter | 0 | 535,012,139 | 8% | ||
| perrymine | 0 | 76,067,398 | 10% | ||
| leeyh5 | 0 | 6,628,502,751 | 50% | ||
| dcinside | 0 | 407,135,852 | 12.5% | ||
| pessal | 0 | 159,099,349,851 | 100% | ||
| maxuvd | 0 | 4,432,522,043 | 11% | ||
| maxuve | 0 | 21,572,302,681 | 7.68% | ||
| morningcare | 0 | 91,137,652 | 5% | ||
| javb | 0 | 2,917,546,601 | 5% | ||
| steem-agora | 0 | 429,766,483,108 | 10% | ||
| aceh.point | 0 | 2,360,989,706 | 5% | ||
| successgr | 0 | 445,659,943,683 | 5% | ||
| jayplay.witness | 0 | 260,585,693 | 12.5% | ||
| beargame | 0 | 295,503,915,585 | 25% | ||
| meppij | 0 | 9,473,932,307 | 2.5% | ||
| juddsmith079 | 0 | 225,491,160,709 | 25% | ||
| roundblocknew | 0 | 327,350,842,620 | 25% | ||
| curator-id | 0 | 950,564,515 | 5% | ||
| bugabuga | 0 | 7,711,941,347 | 5% | ||
| mildaleblanc | 0 | 4,629,091,354 | 25% | ||
| pharos1999 | 0 | 280,233,567 | 25% | ||
| pluepark | 0 | 2,264,317,385 | 25% | ||
| visionaer3003 | 0 | 7,681,394,712 | 10.3% | ||
| thetacore | 0 | 131,539,350 | 10% | ||
| gammacore | 0 | 348,503,050 | 10% | ||
| challengethegods | 0 | 89,768,969 | 10% | ||
| sigmacore | 0 | 76,732,944 | 10% | ||
| knightcore | 0 | 716,703,996 | 10% | ||
| psicore | 0 | 573,116,888 | 10% | ||
| chess-evolved | 0 | 248,610,291 | 10% | ||
| chessevolved | 0 | 109,309,155 | 10% | ||
| game-of-kings | 0 | 6,288,887,819 | 10% | ||
| alpha-and-omega | 0 | 1,041,834,574 | 10% | ||
| zetacore | 0 | 99,946,292 | 10% | ||
| main-gi | 0 | 231,379,114 | 10% | ||
| voidling | 0 | 303,690,776 | 8% | ||
| praise-phoenix | 0 | 688,463,762 | 8% | ||
| godoftomatoes | 0 | 136,147,293 | 9.9% | ||
| eye-of-the-storm | 0 | 438,291,564 | 7.5% | ||
| seven-sisters | 0 | 433,928,708 | 10% | ||
| mecurry | 0 | 91,886,402 | 10% | ||
| beware-the-queen | 0 | 1,727,858,247 | 9.5% |