{"id":45888,"date":"2022-12-02T20:50:48","date_gmt":"2023-02-15T01:01:28","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/"},"modified":"2024-04-29T03:30:56","modified_gmt":"2024-04-28T19:30:56","slug":"45888-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/","title":{"rendered":""},"content":{"rendered":"<h1>\u6982\u8981<\/h1>\n<p>JupyterNotebook\u4e0a\u3067F#\u3092\u5b9f\u884c\u3059\u308b\u307e\u3067\u306e\u624b\u9806\u3092\u8a18\u3059\u3002<\/p>\n<h1>Motivation<\/h1>\n<p>Domain Modeling Made Functional\u3092\u8aad\u3093\u3067\u3044\u3066\u3001F\uff03\u306e\u5b9f\u884c\u3092\u3055\u304f\u308a\u3068\u3084\u3063\u3066\u307f\u305f\u3044\u3001\u304b\u3064\u3001\u305d\u306e\u69d8\u5b50\u3092\u8a18\u9332\u3057\u3066\u304a\u304d\u305f\u3044\u3068\u601d\u3063\u305f\u305f\u3081JupyterNotebook\u3067F#\u3092\u52d5\u304b\u3057\u3066\u307f\u305f\u3044\u3068\u601d\u3063\u305f\u305f\u3081\u3002<\/p>\n<h1>\u624b\u9806<\/h1>\n<h2>\u524d\u63d0<\/h2>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u74b0\u5883\u306fmacOS Monterey(12.2.1)<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">pip3\u306f\u5165\u3063\u3066\u3044\u308b<\/ul>\n<h2>Jupyter Notebook \u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/h2>\n<p>\u3053\u306e\u624b\u9806\u306b\u5f93\u3046\u3002<\/p>\n<p>\u4e0b\u8a18\u30b3\u30de\u30f3\u30c9\u5b9f\u884c\u3067Jupyter Notebook\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u304c\u3067\u304d\u308b\u3002<\/p>\n<pre class=\"post-pre\"><code>pip3 <span class=\"nb\">install <\/span>notebook\r\n<\/code><\/pre>\n<p>\u4e0b\u8a18\u30b3\u30de\u30f3\u30c9\u5b9f\u884c\u3067\u3055\u3063\u304f\u308a\u3068Jupyter Notebook\u304c\u7acb\u3061\u4e0a\u304c\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3067\u304d\u308b\u3002<\/p>\n<pre class=\"post-pre\"><code>jupyter notebook\r\n<\/code><\/pre>\n<div><img decoding=\"async\" class=\"post-images\" title=\"\" src=\"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/13-0.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2022-02-26 11.28.13.png\" \/><\/div>\n<h2>Jupyter Notebook \u3067F#\u3092\u4f7f\u3048\u308b\u3088\u3046\u306b\u3059\u308b<\/h2>\n<p>\u3053\u306e\u624b\u9806\u306b\u5f93\u3046\u3002<\/p>\n<h3>.NET\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/h3>\n<p>uname -m\u3067\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092\u78ba\u8a8d\u3057\u3066\u3001\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\u30da\u30fc\u30b8\u304b\u3089SDK\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30e9\u3092\u843d\u3068\u3059\u3002<\/p>\n<div><img decoding=\"async\" class=\"post-images\" title=\"\" src=\"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/18-0.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2022-02-26 11.48.19.png\" \/><\/div>\n<p>\u30a4\u30f3\u30b9\u30c8\u30fc\u30e9\u5b9f\u884c\u3057\u305f\u3089\u3001dotnet &#8211;version\u3067\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3067\u304d\u305f\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u3002<\/p>\n<h3>dotnet interactive\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/h3>\n<p>\u4e0b\u8a18\u30b3\u30de\u30f3\u30c9\u3092\u5b9f\u884c\u3057\u3066\u3001dotnet interactive\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u3002<\/p>\n<pre class=\"post-pre\"><code>dotnet tool <span class=\"nb\">install<\/span> <span class=\"nt\">-g<\/span> Microsoft.dotnet-interactive\r\n<\/code><\/pre>\n<h3>.NET\u306e\u30ab\u30fc\u30cd\u30eb\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb<\/h3>\n<p>\u4e0b\u8a18\u30b3\u30de\u30f3\u30c9\u3092\u5b9f\u884c\u3059\u308b\u3002<\/p>\n<pre class=\"post-pre\"><code>dotnet interactive jupyter <span class=\"nb\">install<\/span>\r\n<\/code><\/pre>\n<p>\u6b63\u5e38\u306b\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3067\u304d\u305f\u3089\u3001\u4e0b\u8a18\u306e\u3088\u3046\u306bJupyter Notebook\u3067\u7ba1\u7406\u3057\u3066\u3044\u308b\u30ab\u30fc\u30cd\u30eb\u304c\u5897\u3048\u3066\u3044\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3067\u304d\u308b\u3002<\/p>\n<pre class=\"post-pre\"><code>[nannany@nannanynoMBP reading_memo (master *%=)]$ jupyter kernelspec list \r\nAvailable kernels:\r\n  .net-csharp        \/Users\/nannany\/Library\/Jupyter\/kernels\/.net-csharp\r\n  .net-fsharp        \/Users\/nannany\/Library\/Jupyter\/kernels\/.net-fsharp\r\n  .net-powershell    \/Users\/nannany\/Library\/Jupyter\/kernels\/.net-powershell\r\n  python3            \/usr\/local\/share\/jupyter\/kernels\/python3\r\n<\/code><\/pre>\n<h2>Jupyter Notebook\u3067\u78ba\u8a8d<\/h2>\n<p>\u518d\u3073jupyter notebook\u30b3\u30de\u30f3\u30c9\u3067Jupyter Notebook\u3092\u7acb\u3061\u4e0a\u3052\u308b\u3068\u3001\u4e0b\u8a18\u306e\u3088\u3046\u306bC#\u3001F#\u3001PowerShell\u304c\u9078\u629e\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n<div><img decoding=\"async\" class=\"post-images\" title=\"\" src=\"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/30-0.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2022-02-26 11.59.06.png\" \/><\/div>\n<p>\u7c21\u6613\u306a\u30b9\u30af\u30ea\u30d7\u30c8\u3092\u52d5\u304b\u305b\u308b\u3053\u3068\u3082\u78ba\u8a8d\u3067\u304d\u305f\u3002<\/p>\n<div><img decoding=\"async\" class=\"post-images\" title=\"\" src=\"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/32-0.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2022-02-26 12.06.16.png\" \/><\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u6982\u8981 JupyterNotebook\u4e0a\u3067F#\u3092\u5b9f\u884c\u3059\u308b\u307e\u3067\u306e\u624b\u9806\u3092\u8a18\u3059\u3002 Motivation Domain  [&hellip;]<\/p>\n","protected":false},"author":10,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45888","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v21.5 (Yoast SEO v21.5) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>- Blog - Silicon Cloud<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u6982\u8981 JupyterNotebook\u4e0a\u3067F#\u3092\u5b9f\u884c\u3059\u308b\u307e\u3067\u306e\u624b\u9806\u3092\u8a18\u3059\u3002 Motivation Domain [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2023-02-15T01:01:28+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-28T19:30:56+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/13-0.png\" \/>\n<meta name=\"author\" content=\"\u5b87, \u534e\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u5b87, \u534e\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2023-02-15T01:01:28+00:00\",\"dateModified\":\"2024-04-28T19:30:56+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/513018e4e121d3add1b7c5de8be21458\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/513018e4e121d3add1b7c5de8be21458\",\"name\":\"\u5b87, \u534e\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/63cd45cbc05a35fc4ff7637a163c83c4962ef58d27472726c3a3e0c9c5194f0f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/63cd45cbc05a35fc4ff7637a163c83c4962ef58d27472726c3a3e0c9c5194f0f?s=96&d=mm&r=g\",\"caption\":\"\u5b87, \u534e\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/yuhua\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/#local-main-organization-logo\",\"url\":\"\",\"contentUrl\":\"\",\"caption\":\"Blog - Silicon Cloud\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"- Blog - Silicon Cloud","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u6982\u8981 JupyterNotebook\u4e0a\u3067F#\u3092\u5b9f\u884c\u3059\u308b\u307e\u3067\u306e\u624b\u9806\u3092\u8a18\u3059\u3002 Motivation Domain [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2023-02-15T01:01:28+00:00","article_modified_time":"2024-04-28T19:30:56+00:00","og_image":[{"url":"https:\/\/cdn.silicloud.com\/blog-img\/blog\/img\/657d61d537434c4406cfe63b\/13-0.png"}],"author":"\u5b87, \u534e","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u5b87, \u534e"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2023-02-15T01:01:28+00:00","dateModified":"2024-04-28T19:30:56+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/513018e4e121d3add1b7c5de8be21458"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/513018e4e121d3add1b7c5de8be21458","name":"\u5b87, \u534e","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/63cd45cbc05a35fc4ff7637a163c83c4962ef58d27472726c3a3e0c9c5194f0f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/63cd45cbc05a35fc4ff7637a163c83c4962ef58d27472726c3a3e0c9c5194f0f?s=96&d=mm&r=g","caption":"\u5b87, \u534e"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/yuhua\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45888-2\/#local-main-organization-logo","url":"","contentUrl":"","caption":"Blog - Silicon Cloud"}]}},"_links":{"self":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45888","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45888"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45888\/revisions"}],"predecessor-version":[{"id":78558,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45888\/revisions\/78558"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45888"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45888"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}