罗瑞的个人主页_可编程逻辑,人工智能,总经理 - 电子技术论坛 - 广受欢迎的专业电子论坛!

发帖

罗瑞

经验：积分：13

总经理 RChain公司

安徽省合肥市丨设计开发工程

查看完整档案 >>

+关注发私信

发布了帖子 2020-1-31 19:50

0

通过示例学习rholang（下部：课程8-13）

罗瑞
总经理 RChain公司

课程8——状态通道和方法保存数据到现在为止，你已经很擅长于发送数据到元组空间和从元组空间中获取数据。但是无论你在什么时候进行计算，你有时需要把一些数据放在一边晚点才使用。几乎所有编程语言都有变量的概 ...

来源：机器人论坛标签：算法
发布了帖子 2020-1-30 11:33

1

通过示例学习rholang（上部：课程0-6）

罗瑞
总经理 RChain公司

``通过例子和实践来学习rho语言。下面的例子和练习都很值得去运行、阅读、修改和完善。修改练习和教程中任何你感到有意思的代码，这样能够获得最好的学习效果。该教程包含了rho语言最常见以及最重要的特性，足以让开 ...

来源：机器人论坛标签：算法
发布了帖子 2020-1-18 11:45

0

RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘

罗瑞
总经理 RChain公司

作者／Atticbee 在这一集，Greg和RChain的研究人员Isaac，Christian讨论了TLA（Temporal Logic of Actions）和RChain的LADL（Logic As Distribution Law）。下面是Atticbee做的摘要，然后加了一些自己的理解。 TLA ...

来源：供需及二手交易

ta 的专栏

关注

粉丝

关闭

站长推荐 /9

返回顶部

- 厂商专区: 飞凌嵌入式

瑞萨单片机论坛

米尔电子

Aigtek安泰电子

斯丹麦德电子

芯佰微电子

其利天下技术小组

道生物联技术社区

视美泰

FCom富士晶振

合众恒跃

进迭时空

RT-Thread论坛

EASY-EAI灵眸科技

- 技术社区: 张飞电子技术社区

KaihongOS技术社区

FPGA开发者技术社区

RISC-V MCU技术社区

HarmonyOS技术社区

- OpenHarmony开源社区: OpenHarmony开源社区

- 嵌入式论坛: ARM技术论坛

STM32/STM8技术论坛

嵌入式技术论坛

单片机/MCU论坛

RISC-V技术论坛

瑞芯微Rockchip开发者社区

FPGA|CPLD|ASIC论坛

DSP论坛

- 电路图及DIY: 电路设计论坛

DIY及创意

电子元器件论坛

专家问答

- 电源技术论坛: 电源技术论坛

无线充电技术

- 综合技术与应用: 机器人论坛

USB论坛

电机控制

模拟技术

音视频技术

综合技术交流

上位机软件（C/Python/Java等）

- 无线通信论坛: WIFI技术

蓝牙技术

天线|RF射频|微波|雷达技术

- EDA设计论坛: PCB设计论坛

DigiPCBA论坛

Protel|AD|DXP论坛

PADS技术论坛

Allegro论坛

multisim论坛

proteus论坛|仿真论坛

KiCad EDA 中文论坛

DFM|可制造性设计论坛

- 测试测量论坛: LabVIEW论坛

Matlab论坛

测试测量技术

传感技术

- 招聘/交友/外包/交易/杂谈: 项目外包

供需及二手交易

工程师杂谈|交友

招聘|求职|工程师职场

- 官方社区: 发烧友官方/活动

华秋商城

华秋电路

+ 元器件搜索引擎: 元器件搜索引擎

time

recommend

hot

post

—
—
—

版
块
导
航