Marvin's Blog【程式人生】

14 Feb 2021

The Scheme Programming Language 读书笔记，chapter 3. Chapter 3. Going Further Section 3.1. Syntactic Extension 前面提到，scheme有核心语法和扩展语法。后者可以展开变成前者。核 …

13 Feb 2021

The Scheme Programming Language 读书笔记，chapter 1，2. Chapter 1 Introduction scheme支持结构化的数据类型，比如strings, lists以及vectors，还有传统的数据类型，比如numbers …

26 Jan 2021

Text Text block TextBlock是从FrameworkElement派生出来的，可以用来显示单行或者多行文本，甚至包括内嵌的超链接，以及一些基本的文本格式化，比如加粗，斜体，下划线等等。 TextBlock比RichTextBlock有更好的性能，但是支持的格式 …

25 Jan 2021

TreeView顾名思义，就是以树形展示数据。最简单的比喻就是一个文件目录树。 UWP中的TreeView是一个XAML控件，支持以下功能： N级嵌套支持选择一个或者多个节点支持ItemsSource的数据绑定以TreeViewItem为TreeView …

24 Jan 2021

ItemsRepeater的阅读笔记。 ItemsRepeater和ItemsControl有点类似，都提供了用于处理元素集合的逻辑。和ItemsControl相比，ItemsRepeater支持UI布局的虚拟化。但是ItemsRepeater必须使用外部的数据源，无法 …

23 Jan 2021

目前最喜欢的是immersive linear algebra。资源连接 Deep Learning Book Series · Introduction Notes on linear transformations A 2020 Vision of Linear …

13 Jan 2021

VBA是MS Office的标准脚本语言。普通的pptx结尾的PowerPoint文件无法保存VBA脚本，只有以pptm结尾的文件可以。 MS Office自带VBA的开发工具，在Ribbon中开启Develop Tab才能看到VBA开发工具的启动按钮。对于属于Visual …

05 Jan 2021

微软Office采用的是Ribbon风格的界面。Ribbon具有Extensibility，也就是RibbonX，可以允许用户对界面进行自定义。这个功能叫做CustomUI。具体实现是通过XML对Ribbon进行定制。由于Office套件已经改用OpenXML作为存储格式。用 …

21 Dec 2020

Java的虚拟机JVM上可以支持多种语言，除了原住民Java之外，还有Kotlin，Closure，Scala等等。Groovy也是其中一员。参考List of JVM languages。 groovy官方对其解释是 Apache Groovy is a powerful, …

20 Dec 2020

iOS设备支持MDM管理。MDM有点类似于Windows的组策略。允许管理员从服务端下载配置文件到iOS设备，来启用和关闭某些预定义的功能。先来看一组名词： MDM, Mobile Device Management DEP, Device Entrollment …

19 Dec 2020

Filemaker是一款数据库设计工具，也是一款数据库UI设计工具。有点类似于MS的Access，但是其UI设计功能更强大，并且跟iOS和macOS结合更紧密。Filemaker支持作为ODBC或者JDBC数据源使用。下文在不用区分ODBC以及JDBC的时候，使用xDBC替代。 …

17 Dec 2020

Jupyter Notebook原先叫做IPython Notebook，前者从后者派生出来的。IPython是一个命令行的Python的REPL（Read Evaluate Print Loop，而Jupyter Notebook是一个拥有Web界面的REPL。 …