- あとでブログに移すが、とりあえずやったことを気軽にメモしつつ、公開であわよくば識者からのコメントを頂く。
- 前も別PCで同じエラーが出てちょっと対処したがもうほとんど何も覚えていないから、とりあえず記録を取って再発時または PC 交換時の再設定用に役立てる。
- 規模感
- texファイル: 8MB 程度
- PDF:およそ 7000 ページで 23MB
- label:3500 個程度で ref もそれなりにたくさんしている。
- ファイル編集環境(念のため)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<title>phasetr sample</title> | |
<meta name="viewport" content="width=device-width, initial-scale=1"> | |
<!-- KaTeX --> | |
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css" integrity="sha384-Xi8rHCmBmhbuyyhbI88391ZKP2dmfnOl4rT9ZfRI7mLTdk1wblIUnrIq35nqwEvC" crossorigin="anonymous"> | |
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.js" integrity="sha384-X/XCfMm41VSsqRNQgDerQczD69XqmjOOOwYQvr/uuC+j4OPoNhVgjdGFwhvN02Ja" crossorigin="anonymous"></script> | |
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/contrib/auto-render.min.js" integrity="sha384-+XBljXPPiv+OzfbB3cVmLHf4hdUFHlWNZN5spNQ7rmHTXpd7WvJum6fIACpNNfIR" crossorigin="anonymous" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Process fsac stderr finished | |
Failed to load /usr/local/share/dotnet/host/fxr/6.0.3/libhostfxr.dylib, error: dlopen(/usr/local/share/dotnet/host/fxr/6.0.3/libhostfxr.dylib, 0x0001): tried: '/usr/local/share/dotnet/host/fxr/6.0.3/libhostfxr.dylib' (mach-o file, but is an incompatible architecture (have 'arm64', need 'x86_64')), '/usr/local/lib/libhostfxr.dylib' (no such file), '/usr/lib/libhostfxr.dylib' (no such file) | |
The library libhostfxr.dylib was found, but loading it from /usr/local/share/dotnet/host/fxr/6.0.3/libhostfxr.dylib failed | |
- Installing .NET prerequisites might help resolve this problem. | |
https://go.microsoft.com/fwlink/?linkid=2063366 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; P.648 | |
(define (collatz n) | |
(cond ((= n 1) '(1)) | |
((even? n) (cons n (collatz (/ n 2)))) | |
(else (cons n (collatz (+ (* 3 n) 1)))))) | |
;;; P.650 | |
(define (peak n) | |
(map (lambda (i) (apply max (collatz i))) | |
(iota 1 n))) |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\RequirePackage{plautopatch} | |
\documentclass[uplatex,dvipdfmx,a5paper]{jsarticle} | |
\usepackage{hyperref} | |
\usepackage{pxjahyper} | |
\usepackage{cite} | |
\usepackage{xcolor} | |
\hypersetup{ | |
% 枠に色はつかないがリンクの文字列には色がつく | |
colorlinks=true, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
struct Point | |
x::Int | |
y::Int | |
end | |
mutable struct Point{T} | |
x::T | |
y::T | |
end | |
println(Point{Int} <: Point) # true | |
println(Point{Int} <: Point{Number}) # false |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// # Even Fibonacci numbers | |
// - [URL](https://projecteuler.net/problem=2) | |
// ## Problem 2 | |
// Each new term in the Fibonacci sequence is generated by adding the previous two terms. By starting with 1 and 2, the first 10 terms will be: | |
// > 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ... | |
// By considering the terms in the Fibonacci sequence whose values do not exceed four million, find the sum of the even-valued terms. | |
// | |
// フィボナッチ数列の新しい項はその前の二項の和として得られる。 | |
// フィボナッチ数列の値が 400 万を超える前の偶数の値を取る項の和を調べよ。 | |
#nowarn "40" |
NewerOlder