K.MIURA@OUC

The special secret of making dreams come true can be summarized in four C’s. They are Curiosity, Confidence, Courage, and Constancy. –Walt Disney

Hugo+GitHubで作るWEBサイト

by Katsunori MIURA in  小樽商大  , , ,

[基本環境]
  • Debian 10.3.0 (amd64)
[注意]
  • HugoとGitHubで作るWEBサイトの大まかな流れを掴むためのまとめです
  • 記事を書くときのMarkdownについては、別のサイトを参照すること
[Hugoのインストール]
  1. sudo apt update
  2. sudo apt install git
  3. sudo apt install golang
  4. sudo apt install snapd
  5. sudo snap install hugo --channel=extended
  6. cd /usr/bin
  7. sudo ln -s /snap/bin/hugo hugo
[作業用ディレクトリの作成]
  1. cd /home/ユーザ名
  2. mkdir workspace
    • ディレクトリ名は何でも良い
  3. hugo new site blog
    • blogという名前でWEBサイトを新規作成する
    • WEBサイト名は何でも良い
[HugoテーマのDL]
  1. cd ~/workspace/blog/theme
  2. HugoテーマのDL方法
[config.tomlの編集]
  1. cd ~/workspace/blog
  2. mv config.toml config.toml.org
  3. cp themes/テーマ名/exampleSite/config.toml .
  4. vi config.toml
    • テーマ毎に内容が異なるため、テーマのWEBサイトを参照すること
    • DLしたテーマを基にオリジナルテーマを作っても良い
    • 本サイトは、Hugo Bootstrap v4 Blogに少し手を入れている
[記事の新規作成]
  1. cd ~/workspace/blog
  2. hugo new posts/sample.md
    • postsは記事が保存されるディレクトリであり、ディレクトリ名は何でも良い (存在しないときは自動的に作られる)
    • sample.mdは記事ファイルであり、ファイル名は何でも良い
  3. cd content/posts
  4. vi sample.md
    • 記事はMarkdownで書く
    • 「draft: true」は非公開記事で、「draft:false」は公開記事である
    • title:は記事タイトルなので、ファイル名から書き換える
[GitHubへアップロードするファイルの作成]
  1. cd ~/workspace/blog
  2. hugo
    • publicというディレクトリが生成される
    • ここにアップロードするファイルが作られる
[GitHubへのアップロード]
  • GitHub上に「GitHubアカウント名.github.io」というレポジトリを作成する
  1. cd ~/workspace/blog/public
  2. git remote add origin https://github.com/GitHubアカウント名/GitHubアカウント名.github.io.git
  3. git add -A
  4. git commit -m “コメント”
  5. git push origin master
[2件目以降の記事作成からアップロード]
  1. 記事を作り
    1. cd ~/workspace/blog
    2. hugo new posts/sample.md
    3. cd content/posts
    4. vi sample.md
  2. アップロードするファイルを作り
    1. cd ~/workspace/blog
    2. hugo
  3. GitHubへアップロード
    1. cd public
    2. git add -A
    3. git commit -m “コメント”
    4. git push origin master
Read more →

Debianの初期設定

by Katsunori MIURA in  小樽商大  ,

[基本環境]
  • VirtualBox 6.0.18 (Mac版)
  • Debian 10.3.0 (amd64)
[PATHへの/usr/sbin/の追加]
  1. cd /home/ユーザ名
    • ホームディレクトリに移動する
  2. touch .bash_profile
  3. vi .bash_profile
    • export PATH=$PATH:/usr/sbin/ と書いて保存する
  4. source .bash_profile
[一般ユーザに対するsudo権限の付与]
  1. su
  2. usermod -aG sudo ユーザ名
  3. reboot
[sources.listの編集]
  1. cd /etc/apt
  2. sudo vi sources.list
    • deb cdrom:[Debian GNU/Linux… の先頭に#を追加する
Read more →

WordCloudを作る

by Katsunori MIURA in  小樽商大  , , ,

[基本環境]
  • Debian 10.3.0 (amd64)
  • Docker 19.03.8
[注意]
[Dockerコンテナの展開]
  1. mkdir /home/ユーザ名/workspace
    • ホストのディレクトリをコンテナでマウントするための準備
    • ユーザ名は各々の環境に合わせて置き換える
  2. docker run -itd --privileged -v /home/ユーザ名/workspace:/mnt --name wordcloud debian:stable
  3. docker exec -it wordcloud /bin/bash
[コンテナ(wordcloud)内での手続き]
  1. apt update
  2. apt install python-pip python3-pip
  3. pip3 install wordcloud
  4. apt install vim
  5. cd /mnt
  6. vi sample.py
  7. python3 sample.py
    • sample.pngが生成されている
Read more →

Docker環境の構築

by Katsunori MIURA in  小樽商大  , ,

[基本環境]
  • Debian 12 (amd64)
[Docker環境の構築手順]
  1. Dockerをインストールする
 $ sudo apt update
 $ sudo apt install apt-transport-https
 $ sudo apt install ca-certificates
 $ sudo apt install curl
 $ sudo apt install gnupg2
 $ sudo apt install software-properties-common
 $ curl -fsSL https://download.docker.com/linux/debian/gpg | sudo apt-key add -
 $ sudo add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/debian $(lsb_release -cs) stable"
 $ sudo apt update
 $ sudo apt install docker-ce
  1. Dockerの動作状況を確認する
 $ sudo systemctl status docker
   このコマンドを実行して
     Active: active (running)
   が表示されるなら、Dockerは動作中である
 $ sudo docker ps -a
   このコマンドを実行して
     CONTAINER ID IMAGE ..略..
   が表示されるなら、Dockerコマンドも正しく動作している
  1. 一般ユーザにDockerコマンドの実行権限を与える
 $ sudo usermod -aG docker ${USER}
 $ sudo reboot
[Dockerコンテナの展開]
  1. Dockerイメージをダウンロードする
    ※ 例として、Debianのイメージファイルをダウンロードしている
 $ docker pull debian:stable
  1. 新規コンテナを展開する
    ※ ホストとの間で80(HTTP)ポートを繋いだコンテナを作っている
    ※ コンテナ名をwebservにしている
 $ docker run -itd --privileged -p 80:80/tcp -p 80:80/udp --name webserv debian:stable
  1. コンテナの中にログインする
 $ docker exec -it webserv /bin/bash
Read more →

ゼミナール

by Katsunori MIURA in  小樽商大  

[ゼミ室装備品(実験機器)]
  • Raspberry Pi (GPS受信装置付きx1、重量計測装置付きx1)
  • Xbox One Kinect V2 (モーションキャプチャーセンサー)
  • Oculus Quest 2 (VRゴーグル)
  • PC, Server
    1. iMac MHK23J/A
    2. DAIV Z5-Z690W11-CPSC (GPU機器)
    3. SuperMicro SYS-E200-8D
    4. HP ZBook Firefly 14inch G8
[ゼミ生卒論タイトル]
[卒論用TeXテンプレート]

ゼミ生に配布するために設置しています。

Read more →

研究業績

by Katsunori MIURA in  小樽商大  

[キーワード]
  • 等価変換 (Equivalent transformation)
  • プログラム合成 (Program synthesis)
  • クラウドサービス (Cloud services)
  • 最適化 (Optimization)
[業績 (論文誌, 国際会議)]
  1. Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing, 2023.12
  2. Many-Constraint and Many-Objective optimization with Bias Index for Intercloud Multi-Workflow Resource Provisioning, 2022.11
  3. Optimal answer generation by equivalent transformation incorporating multi-objective genetic algorithm, 2022.3
  4. Generation of Logical Equivalences belonging to the C2LE Class applied to Program Synthesis based on Equivalent Transformation, 2021.8
  5. Constrained Multi-objective Optimization Method for Practica Scientific Workflow Resource Selection, 2019.3
  6. Optimal and Feasible Cloud Resource Configurations Generation Method for Genomic Analytics Applications, 2018.12
  7. Towards a Small Diverse Pareto-optimal Solutions Set Generator for Multi-objective Optimization Problems, 2018.7
  8. Optimal Cloud Resource Selection Method Considering Hard and Soft Constraints and Multiple Conflicting, 2018.7
  9. Cloud Resource Selection based on PLS for deploying Optimal Infrastructures for Genomic Analytics Applications, 2017.12
  10. A Predicate Logic-defined Specification Method for Systems Deployed by Intercloud Brokerages, 2016.4
  11. Intercloud Brokerages based on PLS Method for deploying Infrastructures for Big Data Analytics, 2016.12
  12. ET-based Bidirectional Search for proving Formulas in the Class ES, 2014.12
  13. Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules, 2013.11
  14. Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalence for Program Synthesis, 2013.6
  15. Generation Method for Correct Parallel Programs based on Equivalent Transformation, 2012.11
  16. Generating Functionality-based Rules for Program Construction, 2009.9
  17. Creation of ET Rules from Logical Formulas representing Equivalent Relations, 2009.2
  18. Generating Speq Rules based on Automatic Proof of Logical Equivalence, 2008
  19. Construction of Equivalent Transformation Rules from Logical Equivalence, 2007.12
  20. Creation of ET Rules via Logical Equivalence, 2007.9
  21. Constraint Solving Specialization for Equality on an Interval-Variable Domain, 2007
  22. Infinite Computation in the Equivalent Transformation Model, 2007
  23. Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence, 2006.12
  24. The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model, 2005
Read more →

担当講義

by Katsunori MIURA in  小樽商大  

2026年度

学部講義

[前期開講]
[後期開講]
[通年]

大学院講義

[前期開講]
  • 現代情報システム特論　(大学院講義室, 日時未定)
[後期開講]
  • 情報システムII　(大学院講義室, 火曜日3講目)

2025年度：情報システム管理論, 情報システム構築論, 基礎ゼミナール
2024年度：情報システム管理論, 情報システム構築論, 社会情報入門I
2023年度：情報システム管理論, 情報システム構築論, 応用情報論I, 社会情報入門(夜間)

Read more →